diff --git a/ports-foc/run/two_linux_panda.run b/ports-foc/run/two_linux_panda.run new file mode 100644 index 0000000000..b862897581 --- /dev/null +++ b/ports-foc/run/two_linux_panda.run @@ -0,0 +1,256 @@ +assert_spec foc +assert_spec platform_panda + +# +# Build +# +build { + core + init + drivers/timer + drivers/framebuffer + drivers/sd_card + drivers/usb + server/nic_bridge + server/nitpicker + server/nit_fb + server/terminal + server/terminal_log + server/part_blk + test/lwip/http_srv + test/libc_ffat + l4linux +} + +create_boot_directory + +# +# Config +# +set config { + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +} + +install_config $config + +# +# Boot modules +# +set boot_modules { + core + init + timer + nic_bridge + nitpicker + nit_fb + part_blk + terminal + terminal_log + l4linux + initrd.gz + omap4_fb_drv + sd_card_drv + usb_drv + ld.lib.so libc.lib.so libc_log.lib.so lwip.lib.so libc_ffat.lib.so + test-lwip_httpsrv + test-libc_ffat +} + +set uri "https://github.com/downloads/skalk/genode/busybox-initrd-arm-20120710.gz" + +if {![file exists bin/initrd.gz]} { + puts "Download initramfs ..." + exec >& /dev/null wget -c -O bin/initrd.gz $uri +} + +build_boot_image [join $boot_modules " "] +