genode

History

Stefan Kalkowski c3145c1a5d Fiasco.OC: fix l4_caps_equal kernel patch A kernel capability that is invalid has no kobject pointer, so check whether it's valid beforehand		2012-05-29 13:55:00 +02:00
..
README	Increase the JDB kernel object names buffer size	2012-05-09 20:56:49 +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
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

README

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.