# # Build # set build_components { core init drivers/timer drivers/input drivers/nic server/nic_bridge app/lighttpd test/lwip/http_clnt } source ${genode_dir}/repos/base/run/platform_drv.inc append_platform_drv_build_components build $build_components create_boot_directory # # Generate config # append config { } append_platform_drv_config append config { # lighttpd configuration server.port = 80 server.document-root = "/website" server.event-handler = "select" server.network-backend = "write" index-file.names = ( "index.xhtml", "index.html", "index.htm" ) mimetype.assign = ( ".html" => "text/html", ".htm" => "text/html" ) Hello

Hello Genode!

I am bold ;-) } install_config $config # # Boot modules # # generic modules set boot_modules { core init timer nic_drv nic_bridge ld.lib.so libc.lib.so lwip.lib.so test-http_clnt libm.lib.so zlib.lib.so lighttpd } # platform-specific modules lappend_if [have_spec linux] boot_modules fb_sdl lappend_if [have_spec ps2] boot_modules ps2_drv append_platform_drv_boot_modules build_boot_image $boot_modules append qemu_args " -m 512 " append_if [have_spec x86] qemu_args " -net nic,model=pcnet " append_if [have_spec lan9118] qemu_args " -net nic,model=lan9118 " append qemu_args " -net user " append qemu_args " -nographic -serial mon:stdio " run_genode_until forever