genode

Commit Graph

Author	SHA1	Message	Date
Adrian-Ken Rueegsegger	d3a4ed87d1	hw_x86_64_muen: Drop QEMU related RUN_OPTS This platform does not support execution on QEMU.	2015-12-21 09:35:23 +01:00
Reto Buerki	dcd20f1566	hw: skeleton for building x86_64_muen The hw_x86_64_muen platform is a x86/64 base-hw kernel which runs as isolated subject (guest) on the Muen Separation Kernel (SK) [1]. The platform is implemented as an extension to hw_x86_64 replacing the PIC and timer drivers with paravirtualized variants. The skeleton contains a dummy PIC and timer implementation for now. [1] - http://muen.sk	2015-08-27 13:48:24 +02:00

Author

SHA1

Message

Date

Adrian-Ken Rueegsegger

d3a4ed87d1

hw_x86_64_muen: Drop QEMU related RUN_OPTS

This platform does not support execution on QEMU.

2015-12-21 09:35:23 +01:00

Reto Buerki

dcd20f1566

hw: skeleton for building x86_64_muen

The hw_x86_64_muen platform is a x86/64 base-hw kernel which runs as
isolated subject (guest) on the Muen Separation Kernel (SK) [1].

The platform is implemented as an extension to hw_x86_64 replacing the
PIC and timer drivers with paravirtualized variants. The skeleton
contains a dummy PIC and timer implementation for now.

[1] - http://muen.sk

2015-08-27 13:48:24 +02:00

2 Commits