Stefan Kalkowski 96eb82574a hw: fix race in core's pager code (fix #2301) ... * Acknowledge receive of page-fault signal with ack_signal, but restart thread execution separately * use kill_signal_context when disolving a pager_object to prevent race * Remove bureaucracy in form of Thread_event and Signal_ack_handler * remove dead code in riscv, namely Thread_base definition * translation_table_insertions function for ARM drops out, which was overcautious		2017-03-15 12:24:41 +01:00
..
doc	hw/doc: Update Muen tutorial	2017-02-28 13:00:43 +01:00
etc	hw: get rid of global makefiles specific to hw	2017-01-13 13:06:55 +01:00
include	hw: fix race in core's pager code (fix #2301)	2017-03-15 12:24:41 +01:00
lib/mk	hw: bootstrap into kernel	2017-02-23 14:54:42 +01:00
ports	Update Muen port	2017-02-28 13:00:43 +01:00
run	hw: get rid of global makefiles specific to hw	2017-01-13 13:06:55 +01:00
src	hw: fix race in core's pager code (fix #2301)	2017-03-15 12:24:41 +01:00