# # \brief Example for running lighttpd # \author Norman Feske # \date 2012-08-16 # set build_components { core init drivers/nic drivers/timer app/lighttpd } source ${genode_dir}/repos/base/run/platform_drv.inc append_platform_drv_build_components build $build_components create_boot_directory 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 ;-) } append config { } install_config $config # # Boot modules # # generic modules append boot_modules { core init timer ld.lib.so } [nic_drv_binary] { libc.lib.so libm.lib.so posix.lib.so vfs.lib.so vfs_lwip.lib.so zlib.lib.so lighttpd } # platform-specific modules append_platform_drv_boot_modules build_boot_image $boot_modules append_if [have_spec x86] qemu_args " -net nic,model=e1000 " append_if [have_spec lan9118] qemu_args " -net nic,model=lan9118 " append qemu_args " -net user -redir tcp:5555::80 " append qemu_args " -nographic -serial mon:stdio " append xen_args { sdl=0\; vif=\["model=e1000,mac=02:00:00:00:01:01,bridge=xenbr0"\] } run_genode_until forever