mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 08:25:38 +00:00
7582396e9c
* 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
49 lines
592 B
Plaintext
49 lines
592 B
Plaintext
util_mmio
|
|
ldso
|
|
timer
|
|
lwip
|
|
rm_fault
|
|
rom_blk
|
|
tar_rom
|
|
noux
|
|
noux_net_netcat
|
|
libc_ffat
|
|
libc_vfs
|
|
timed_semaphore
|
|
signal
|
|
sub_rm
|
|
python
|
|
l4linux
|
|
lx_hybrid_ctors
|
|
lx_hybrid_exception
|
|
lx_hybrid_pthread_ipc
|
|
moon
|
|
thread_join
|
|
failsafe
|
|
netperf_lwip
|
|
netperf_lwip_usb30
|
|
netperf_lwip_bridge
|
|
netperf_lxip
|
|
netperf_lxip_usb30
|
|
netperf_lxip_bridge
|
|
l4linux_netperf
|
|
l4linux_netperf_usb30
|
|
l4linux_netperf_bridge
|
|
noux_tool_chain_auto
|
|
affinity
|
|
mp_server
|
|
seoul-auto
|
|
resource_request
|
|
resource_yield
|
|
gdb_monitor
|
|
part_blk
|
|
xml_generator
|
|
blk_cache
|
|
rump_ext2
|
|
thread
|
|
pthread
|
|
virtualbox_auto_disk
|
|
virtualbox_auto_share
|
|
tz_vmm
|
|
vmm
|