Stefan Kalkowski ca60e24ad9 hw: run core threads in privileged mode ... * introduce new syscall (core-only) to create privileged threads * take the privilege level of the thread into account when doing a context switch * map kernel segment as accessable for privileged code only Ref #2091		2017-10-19 13:31:17 +02:00
..
fiasco	run: link all files in [run_dir]/genode to core	2017-05-31 13:15:56 +02:00
foc	foc: do not accidentally delete boot directory	2017-06-19 12:35:56 +02:00
hw	hw: run core threads in privileged mode	2017-10-19 13:31:17 +02:00
linux	run: use absolute path for symlinks in linux run dir	2017-08-18 10:24:48 +02:00
nova	run: compress image.elf in NOVA boot dir	2017-10-05 17:40:02 +02:00
okl4	run: link all files in [run_dir]/genode to core	2017-05-31 13:15:56 +02:00
pistachio	run: link all files in [run_dir]/genode to core	2017-05-31 13:15:56 +02:00
sel4	sel4: add uefi boot support via mbi2	2017-08-28 16:49:47 +02:00