Stefan Kalkowski f5d5ed9637 hw: use kernel signal API for page-fault signals ...

Instead of using the Genode user-level signal API to signal page-faults to
a page-fault handler, use the kernel API directly. Thereby the accounting
of signal contexts needed for each paging subject can be done easily.

Fix #956

2015-07-01 14:46:18 +02:00

..

doc

imx31: remove platform completely (fix #1360)

2015-01-12 14:24:15 +01:00

include

base: remove pager code from public API

2015-07-01 14:46:15 +02:00

lib

hw: remove redundant file from signal library

2015-07-01 14:46:18 +02:00

mk

hw: support Wandboard Quad (i.MX6)

2015-04-09 16:04:43 +02:00

run

CPU session: apply quota via relative weightings

2015-05-06 10:55:16 +02:00

src

hw: use kernel signal API for page-fault signals

2015-07-01 14:46:18 +02:00