mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 23:42:32 +00:00
9251b1ede8
For further information see: http://wiki.netbsd.org/rumpkernel/. In this version I ported the central rump components to Genode in order to take advantage of NetBSD file system implementation. The new 'dde_rump' repository contains the Genode version of the rump libraries and a 'rump_fs' server that implements Genode file-system-session interface. Currently ext2, iso9660, and fat file-systems are supported. Issue #1048
42 lines
514 B
Plaintext
42 lines
514 B
Plaintext
util_mmio
|
|
ldso
|
|
timer
|
|
lwip
|
|
rm_fault
|
|
rom_blk
|
|
tar_rom
|
|
noux
|
|
noux_net_netcat
|
|
libc_ffat
|
|
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
|