ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-26 00:41:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
1,096 Commits 2 Branches 70 Tags 87 MiB
638dcf3d40
Commit Graph

1 Commits

Author SHA1 Message Date
Christian Prochaska
4e43cdd041 Send 'invalid opcode' exception IPC on OKL4 
When an invalid opcode gets executed, OKL4 switches to the kernel debugger
console instead of sending an exception IPC to the userland. This patch
fixes the problem by removing the code that invokes the debugger console.

This patch fixes #95.
 2012-02-01 10:25:36 +01:00