genode/base-foc/patches
Stefan Kalkowski a4282e2033 Fiasco.OC: fix l4_task_cap_equal semantic.
The syscall l4_task_cap_equal almost returns false although the referenced
kernel-objects are equal. This patch changes the semantic of the syscall so
that whenever two capabilities refering the same kernel-object are compared
it will return true. Please refer to the discussion of the following mail
thread:
  http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg05162.html
2012-05-09 20:50:57 +02:00
..
crtn_arm_binutils_2.21.1.patch Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
fix_exception_ip.patch Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
foc_caps_equal.patch Fiasco.OC: fix l4_task_cap_equal semantic. 2012-05-09 20:50:57 +02:00
foc_exregs_ret_state.patch Merge final fixes from internal repositories 2011-12-23 14:04:29 +01:00
foc_single_step_x86.patch Merge final fixes from internal repositories 2011-12-23 14:04:29 +01:00
gendep.patch Fix Fiasco.OC's build-system (fix #177) 2012-04-16 12:15:31 +02:00
README Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
timer_arm.patch Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
vexpress_detection.patch Imported Genode release 11.11 2011-12-22 16:19:25 +01:00

The patches in this directory are modifications of the Fiasco.OC kernel
required for using this kernel with Genode.

:'foc_single_step_x86.patch':

  This patch enables the user land to use the CPU's single stepping mode on
  x86_32 platforms. It is needed to enable the use of GDB monitor for
  user-level debugging.

:'fix_exception_ip.patch':

  On the occurrence of undefined-instruction exceptions on ARM, Fiasco.OC
  reports a wrong program-counter value to the exception handler. The patch
  fixes the problem.