ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
genode/repos/os/src/server/vmm/test/kernel/target.mk

4 lines
66 B
Makefile
Raw Normal View History

hw_arndale: enable ARM virtualization extensions * enables world-switch using ARM virtualization extensions * split TrustZone and virtualization extensions hardly from platforms, where it is not used * extend 'Vm_session' interface to enable configuration of guest-physical memory * introduce VM destruction syscall * add virtual machine monitor for hw_arndale that emulates a simplified version of ARM's Versatile Express Cortex A15 board for a Linux guest OS Fixes #1405
2015-02-19 14:50:27 +01:00
TARGET = test-kernel
REQUIRES = hw_arndale
SRC_S = main.s