ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
c4686a1196
genode/repos/base-linux
History
Christian Helmuth ce354d6fd9 linux: improve diagnosis on exception handling 
Under some circumstances, the diagnostic message in the exception signal
handler was not printed. This could happen due to a dead lock in the
console library if the console code itself produces the exception while
possessing the mutex, e.g., by exhausting a undersized stack. Now, we
directly write to the log session via the stdout_write() hook or use
raw_write_str() in core.
2015-10-06 12:18:57 +02:00
..
etc Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
include base: remove pager code from public API 2015-07-01 14:46:15 +02:00
lib linux: explicitly add well-known include paths 2015-09-30 12:20:37 +02:00
mk/spec Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
run autopilot: adapt runscripts to new run tool 2015-01-26 12:28:41 +01:00
src linux: improve diagnosis on exception handling 2015-10-06 12:18:57 +02:00
README Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00

README 

This repository contains the Linux-specific implementation of Genode.