mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-04 18:22:08 +00:00
d1cc263427
Apply the patch posted by Christian Helmuth to the l4-hackers mailing list when doing `make prepare` in base-foc.
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.