Alexander Boettcher 430bde3636 core: remove unmap from rm_client ...

The flush/unmap of memory is tied to an address space and not to a thread.
Move the handling from the Rm_client to the Adress_space class.

Issue #2209

2017-08-28 16:49:44 +02:00

..

spec/x86_32

pistachio,fiasco: don't rely on BASE_DIR for vpath

2017-05-31 13:15:54 +02:00

base-fiasco-common.mk

base: restructure signal-submit initialization

2017-05-31 13:16:12 +02:00

base-fiasco.mk

base: restructure signal-submit initialization

2017-05-31 13:16:12 +02:00

core-fiasco.inc

core: remove unmap from rm_client

2017-08-28 16:49:44 +02:00

kernel-fiasco.inc

fiasco: fix compilation with GCC 6

2017-05-31 13:15:57 +02:00

l4_pkg.inc

fiasco: fix compilation with GCC 6

2017-05-31 13:15:57 +02:00

syscall-fiasco.inc

foc, fiasco: ensure build fails if port build fails

2017-05-31 13:15:55 +02:00