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