genode/base-foc/patches
Stefan Kalkowski c02f04da76 Fiasco.OC: raise sigma0's priority to maximum.
When sigma0 runs on a lower priority than the rest of the threads in the
system it might come to the point that while answering a page fault or
I/O memory area request the timeslice of the caller (core-pager) gets
fully consumed. As long as other threads are still executable and don't block
sigma0 won't do progress anymore, because it runs at the lowest priority.
This commit simply sets sigma0's priority to the highest in the system.
2012-06-04 17:10:16 +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_caps_equal kernel patch 2012-05-29 13:55:00 +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
jdb_kobject_names.patch Increase the JDB kernel object names buffer size 2012-05-09 20:56:49 +02:00
README Increase the JDB kernel object names buffer size 2012-05-09 20:56:49 +02:00
sigma0_prio.patch Fiasco.OC: raise sigma0's priority to maximum. 2012-06-04 17:10:16 +02: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.

:'jdb_kobject_names.patch':

  This patch increases the size of the JDB kernel object names buffer. The
  original size was too small for some Genode scenarios and caused missing
  thread names in the kernel debugger thread list.