mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-27 17:18:53 +00:00
a4282e2033
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 |
||
|---|---|---|
| .. | ||
| crtn_arm_binutils_2.21.1.patch | ||
| fix_exception_ip.patch | ||
| foc_caps_equal.patch | ||
| foc_exregs_ret_state.patch | ||
| foc_single_step_x86.patch | ||
| gendep.patch | ||
| README | ||
| timer_arm.patch | ||
| vexpress_detection.patch | ||
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.