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
..
kernel	hw: fix race in signal dispatching	2017-02-28 13:00:41 +01:00
spec	hw: fix race in core's pager code (fix #2301)	2017-03-15 12:24:41 +01:00
vm_session	Adjust file headers to refer to the AGPLv3	2017-02-28 12:59:29 +01:00