genode/repos/libports/run/netty.inc

71 lines
1.7 KiB
PHP
Raw Normal View History

assert_spec x86
2015-09-22 15:33:03 +00:00
set build_components {
core init
drivers/timer drivers/nic server/ram_fs server/vfs
lib/vfs/lxip
}
source ${genode_dir}/repos/base/run/platform_drv.inc
append_platform_drv_build_components
append config {
2015-09-22 15:33:03 +00:00
<config verbose="yes">
<parent-provides>
<service name="ROM"/>
<service name="IRQ"/>
<service name="IO_MEM"/>
<service name="IO_PORT"/>
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="SIGNAL"/>
</parent-provides>
<default-route>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<default caps="100"/>
2015-09-22 15:33:03 +00:00
<start name="timer">
<resource name="RAM" quantum="1M"/>
<provides> <service name="Timer"/> </provides>
</start>
}
append_platform_drv_config
append config {
2015-09-22 15:33:03 +00:00
<start name="nic_drv">
<binary name="} [nic_drv_binary] {"/>
<resource name="RAM" quantum="4M"/>
2015-09-22 15:33:03 +00:00
<provides> <service name="Nic"/> </provides>
</start>
<start name="socket_fs" caps="200">
2015-09-22 15:33:03 +00:00
<binary name="vfs"/>
<resource name="RAM" quantum="32M"/>
<provides> <service name="File_system"/> </provides>
<config ld_verbose="yes">
<vfs>
<dir name="socket">
<lxip ip_addr="10.0.2.55" netmask="255.255.255.0" gateway="10.0.2.1" nameserver="8.8.8.8"/>
<!-- <lxip dhcp="yes"/> -->
</dir>
</vfs>
<default-policy root="/socket" writeable="yes" />
2017-04-07 12:03:29 +00:00
</config>
2015-09-22 15:33:03 +00:00
</start>
}
append boot_modules {
core init timer } [nic_drv_binary] { ram_fs vfs
ld.lib.so libc.lib.so libm.lib.so posix.lib.so
2015-09-22 15:33:03 +00:00
vfs_lxip.lib.so lxip.lib.so
}
append_platform_drv_boot_modules
append qemu_args " -nographic -net nic,model=e1000 -net tap,ifname=tap0,downscript=no,script=no "
2015-09-22 15:33:03 +00:00
# vi: set ft=tcl :