Martin Stein 6cb89f79e3 base_hw & arm_v7: Use write-back caching. ...

Add 'resume_faulter' syscall that is similar to 'resume_thread', but
is called only when resuming a thread after resolving its pagefault.
This way the kernel can flush caches after resolving a pagefault. This is
because by now the MMU doesn't use caches when doing a pagetable walk.

2012-11-22 09:21:53 +01:00

..

log.h

Run Genode directly on hardware with 'base-hw'.

2012-08-03 12:06:37 +02:00

syscalls.h

base_hw & arm_v7: Use write-back caching.

2012-11-22 09:21:53 +01:00