Stefan Kalkowski 15171eaac6 os: transition to new API for vmm (ref #1987)		2017-01-13 13:07:09 +01:00
..
test/kernel	hw_arndale: enable ARM virtualization extensions	2015-02-27 11:48:05 +01:00
board.h	remove Versatile Express board (Fix #1611)	2015-07-07 19:48:06 +02:00
main.cc	os: transition to new API for vmm (ref #1987)	2017-01-13 13:07:09 +01:00
target.mk	os: transition to new API for vmm (ref #1987)	2017-01-13 13:07:09 +01:00