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
..
etc	hw: skeleton for building x86_64_muen	2015-08-27 13:48:24 +02:00
build.mk	Improve error message on wrong tool chain (fix #1642)	2015-08-21 10:59:45 +02:00