Hi Stefan, Thanks for your help. I write my own two_linux_panda run script, but still have some problem when run the image created by this script: there is only one grey enmpty window on top-left of the screen.
This is my run script:
assert_spec foc assert_spec platform_panda
# # Build # build { core init drivers/timer drivers/framebuffer drivers/sd_card drivers/usb drivers/gpio server/nic_bridge server/part_blk server/nitpicker server/nit_fb l4linux }
create_boot_directory
# # Config # set config { <config prio_levels="2"> <parent-provides> <service name="ROM"/> <service name="RAM"/> <service name="IRQ"/> <service name="IO_MEM"/> <service name="IO_PORT"/> <service name="CAP"/> <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> <start name="timer" priority="0"> <resource name="RAM" quantum="1M"/> <provides><service name="Timer"/></provides> </start> <start name="fb_drv" priority="-1"> <resource name="RAM" quantum="4M"/> <provides><service name="Framebuffer"/></provides> </start> <start name="sd_card_drv" priority="0"> <resource name="RAM" quantum="4M"/> <provides><service name="Block"/></provides> </start> <start name="gpio_drv"> <resource name="RAM" quantum="4M"/> <provides><service name="Gpio"/></provides> <config/> </start> <start name="usb_drv" priority="-1"> <resource name="RAM" quantum="12M"/> <provides> <service name="Input"/> <service name="Nic"/> </provides> <config ehci="yes"> <hid/> <nic mac="02:00:00:00:01:01" /> </config> </start> <!--<start name="part_blk"> <resource name="RAM" quantum="2M"/> <provides><service name="Block"/></provides> <config> <policy label="vmlinux.1 -> sda" partition="1" /> <policy label="vmlinux.2 -> sda" partition="2" /> <policy label="test-libc_ffat" partition="3" /> </config> <route> <service name="Block"> <child name="sd_card_drv"/> </service> <any-service> <parent/> <any-child/> </any-service> </route> </start>--> <!--<start name="nic_bridge" priority="-1"> <resource name="RAM" quantum="2M"/> <provides><service name="Nic"/></provides> <route> <service name="Nic"> <child name="usb_drv"/> </service> <any-service> <parent/> <any-child/> </any-service> </route> </start>--> <start name="nitpicker"> <resource name="RAM" quantum="2M"/> <provides><service name="Nitpicker"/></provides> <route> <service name="Input"> <child name="usb_drv"/> </service> <service name="Framebuffer"> <child name="fb_drv"/> </service> <any-service> <parent/> <any-child/> </any-service> </route> </start> <start name="linux.1"> <binary name="nit_fb"/> <resource name="RAM" quantum="4M"/> <provides> <service name="Framebuffer"/> <service name="Input"/> </provides> <config xpos="1" ypos="0" width="510" height="382"/> </start> <start name="linux.2"> <binary name="nit_fb"/> <resource name="RAM" quantum="4M"/> <provides> <service name="Framebuffer"/> <service name="Input"/> </provides> <config xpos="513" ypos="0" width="510" height="382"/> </start>
<start name="vmlinux.1" priority="-1"> <binary name="l4linux"/> <resource name="RAM" quantum="296M"/> <config args="mem=254M l4x_rd=initrd.gz"> <block label="sda" /> </config> <route> <service name="Block"> <child name="sd_card_drv"/> </service> <service name="Input"> <child name="linux.1"/> </service> <service name="Framebuffer"> <child name="linux.1"/> </service> <!--<service name="Nic"> <child name="nic_bridge"/> </service>--> <any-service> <any-child/> <parent/> </any-service> </route> </start> <start name="vmlinux.2" priority="-1"> <binary name="l4linux"/> <resource name="RAM" quantum="296M"/> <config args="mem=254M l4x_rd=initrd.gz"> <block label="sda" /> </config> <route> <service name="Block"> <child name="sd_card_drv"/> </service> <service name="Input"> <child name="linux.2"/> </service> <service name="Framebuffer"> <child name="linux.2"/> </service> <!--<service name="Nic"> <child name="nic_bridge"/> </service>--> <any-service> <any-child/> <parent/> </any-service> </route> </start> </config>}
install_config $config
# # Boot modules # set boot_modules { core init timer nic_bridge nitpicker nit_fb part_blk l4linux initrd.gz fb_drv sd_card_drv gpio_drv usb_drv }
set uri "http://genode.org/files/l4linux/busybox-initrd-arm-20120710.gz" if {![file exists bin/initrd.gz]} { puts "Download initramfs ..." exec >& /dev/null wget -c -O bin/initrd.gz $uri } exec >& /dev/null wget -O bin/initrd.gz.md5 $uri.md5 cd bin exec md5sum -c initrd.gz.md5 cd ..
build_boot_image [join $boot_modules " "]
-------------------------------------------------------------------- This is the log:
... Genode 14.11 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 992 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open file "ld.lib.so" Quota exceeded! amount=28672, size=4096, consumed=28672 [init] upgrading quota donation for Env::CPU (8192 bytes) [init -> gpio_drv] --- omap4 gpio driver --- [init -> sd_card_drv] --- OMAP4 SD card driver --- [init -> gpio_drv] No GPIO config [init -> fb_drv] Could not open file "config" [init -> fb_drv] Could not obtain config file [init -> fb_drv] int main(int, char**): using default configuration: HDMI@...305... [init -> vmlinux.2] Booting L4Linux ... [init -> vmlinux.1] Booting L4Linux ... [init -> usb_drv] Services::Services(): Could not read screen resolution in cone [init -> usb_drv] Services::Services(): No <storage> config node found - not ste [init -> usb_drv] Services::Services(): No <raw> config node found - not startie [init -> usb_drv] Enabled EHCI (USB 2.0) support [init -> vmlinux.1] ======> L4Linux starting... <======== [init -> vmlinux.2] ======> L4Linux starting... <======== [init -> vmlinux.1] Linux version 3.9.0-l4-gf2eebae (czzcz@...306...) (gcc5 [init -> vmlinux.2] Linux version 3.9.0-l4-gf2eebae (czzcz@...306...) (gcc5 [init -> vmlinux.1] Binary name: vmlinux [init -> vmlinux.1] This is an AEABI build. [init -> vmlinux.2] Binary name: vmlinux [init -> vmlinux.2] This is an AEABI build. [init -> vmlinux.1] Linux kernel command line (2 args): mem=254M l4x_rd=initrd.z [init -> vmlinux.2] Linux kernel command line (2 args): mem=254M l4x_rd=initrd.z [init -> vmlinux.1] CPU mapping (l:p)[0]: Image: 02000000 - 02500000 [5120 KiB]. [init -> vmlinux.1] Areas: Text: 02000000 - 023dc000 [3952kB] (a bit longer) [init -> vmlinux.1] Data: 023dc000 - 024091b8 [180kB] [init -> vmlinux.1] Initdata: 023b4000 - 023da9c0 [154kB] [init -> vmlinux.1] BSS: 0240a000 - 02446de8 [243kB] [init -> vmlinux.2] CPU mapping (l:p)[0]: Image: 02000000 - 02500000 [5120 KiB]. [init -> vmlinux.2] Areas: Text: 02000000 - 023dc000 [3952kB] (a bit longer) [init -> vmlinux.2] Data: 023dc000 - 024091b8 [180kB] [init -> vmlinux.2] Initdata: 023b4000 - 023da9c0 [154kB] [init -> vmlinux.2] BSS: 0240a000 - 02446de8 [243kB] [init -> usb_drv] Using configured mac: 02:00:00:00:01:01 [init -> usb_drv] void platform_hcd_init(Services*): register platform device [init -> usb_drv] dev_info: EHCI Host Controller [init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1 [init -> usb_drv] dev_info: irq 109, io mem 0x4a064c00 [init -> usb_drv] dev_info: USB 2.0 started, EHCI 1.00 [init -> usb_drv] dev_info: USB hub found [init -> usb_drv] dev_info: 3 ports detected [init -> nitpicker] Could not open file "config" [init -> nitpicker] Could not obtain config file [init -> nitpicker] create session with args: label="linux.1", ram_quota=28672 [init -> nitpicker] create session with args: label="linux.2", ram_quota=28672 [init -> vmlinux.1] l4io_get_root_device: Not implemented yet! [init -> vmlinux.1] Device scan: [init -> vmlinux.1] l4io_iterate_devices: Not implemented yet! [init -> vmlinux.1] Device scan done. [init -> vmlinux.2] l4io_get_root_device: Not implemented yet! [init -> vmlinux.2] Device scan: [init -> vmlinux.2] l4io_iterate_devices: Not implemented yet! [init -> vmlinux.2] Device scan done. [init -> usb_drv] dev_info: new high-speed USB device number 2 using ehci-omap [init -> linux.1] using xywh=(1,1,510,382) [init -> linux.2] using xywh=(513,513,510,382) [init -> vmlinux.1] main thread will be c [init -> vmlinux.1] l4x_register_pointer_section: addr = 02000000 size = 5242880 [init -> vmlinux.1] section-with-init: virt: 2000000 to 24fffff [5120 KiB] [init -> vmlinux.1] Cannot determine physical address for dataspace Binary! [init -> vmlinux.1] error: failed to get physical address for 2000000. [init -> vmlinux.1] thread=c000 cpu=0 [init -> vmlinux.1] L4x: Setting superpages for main memory [init -> vmlinux.1] Main memory size: 254MB [init -> vmlinux.1] Adjusted memory start: 02000000 [init -> vmlinux.1] Main thread running, waiting... [init -> vmlinux.2] main thread will be c [init -> vmlinux.2] l4x_register_pointer_section: addr = 02000000 size = 5242880 [init -> vmlinux.2] section-with-init: virt: 2000000 to 24fffff [5120 KiB] [init -> vmlinux.2] Cannot determine physical address for dataspace Binary! [init -> vmlinux.2] error: failed to get physical address for 2000000. [init -> vmlinux.2] thread=c000 cpu=0 [init -> vmlinux.2] L4x: Setting superpages for main memory [init -> vmlinux.2] Main memory size: 254MB [init -> vmlinux.2] Adjusted memory start: 02000000 [init -> vmlinux.2] Main thread running, waiting... [init -> usb_drv] dev_info: USB hub found unmapping of managed dataspaces not yet supported [init -> vmlinux.1] Main memory: virt: 3600000 to 133fffff [260096 KiB] [init -> usb_drv] dev_info: 5 ports detected unmapping of managed dataspaces not yet supported [init -> vmlinux.2] Main memory: virt: 3600000 to 133fffff [260096 KiB] [init -> vmlinux.2] Main memory: Phys: 0x00000000 to 0x0fe00000, Size: 266338304 [init -> vmlinux.1] Main memory: Phys: 0x00000000 to 0x0fe00000, Size: 266338304 [init -> vmlinux.1] l4x: vmalloc area: 13800000 - 1b800000 [init -> vmlinux.1] l4x_register_pointer_section: addr = 02000000 size = 5242880 [init -> vmlinux.1] text: virt: 2000000 to 24fffff [5120 KiB] [init -> vmlinux.1] Cannot determine physical address for dataspace Binary! [init -> vmlinux.1] error: failed to get physical address for 2000000. [init -> vmlinux.2] l4x: vmalloc area: 13800000 - 1b800000 [init -> vmlinux.2] l4x_register_pointer_section: addr = 02000000 size = 5242880 [init -> vmlinux.2] text: virt: 2000000 to 24fffff [5120 KiB] [init -> vmlinux.2] Cannot determine physical address for dataspace Binary! [init -> vmlinux.2] error: failed to get physical address for 2000000. [init -> vmlinux.1] l4x_virt_to_phys: Could not translate virt. address 2000000 [init -> vmlinux.1] l4x_virt_to_phys: Could not translate virt. address 23b305f [init -> vmlinux.1] l4x_virt_to_phys: Could not translate virt. address 23dc000 [init -> vmlinux.1] l4x_virt_to_phys: Could not translate virt. address 2446de7 [init -> vmlinux.1] l4x_virt_to_phys: Could not translate virt. address 2000000 [init -> vmlinux.1] l4x_virt_to_phys: Could not translate virt. address 24fffff [init -> vmlinux.1] l4x_rd_path: initrd.gz [init -> vmlinux.1] Loading: initrd.gz [init -> vmlinux.2] l4x_virt_to_phys: Could not translate virt. address 2000000 [init -> vmlinux.2] l4x_virt_to_phys: Could not translate virt. address 23b305f [init -> vmlinux.2] l4x_virt_to_phys: Could not translate virt. address 23dc000 [init -> vmlinux.2] l4x_virt_to_phys: Could not translate virt. address 2446de7 [init -> vmlinux.2] l4x_virt_to_phys: Could not translate virt. address 2000000 [init -> vmlinux.2] l4x_virt_to_phys: Could not translate virt. address 24fffff [init -> vmlinux.2] l4x_rd_path: initrd.gz [init -> vmlinux.2] Loading: initrd.gz [init -> vmlinux.1] INITRD: Size of RAMdisk is 6412KiB [init -> vmlinux.1] RAMdisk from 00005000 to 00648000 [6412KiB] [init -> vmlinux.2] INITRD: Size of RAMdisk is 6412KiB [init -> vmlinux.2] RAMdisk from 00005000 to 00648000 [6412KiB] [init -> usb_drv] dev_info: new high-speed USB device number 3 using ehci-omap [init -> vmlinux.1] l4timer: Using IRQ210 [init] vmlinux.1: no route to service "Terminal" [init -> vmlinux.2] l4timer: Using IRQ210 [init] vmlinux.2: no route to service "Terminal" [init -> vmlinux.1] l4x_virt_to_phys: Could not translate virt. address 229c5b8 [init -> vmlinux.1] l4x_virt_to_phys: Could not translate virt. address 229c5b8 [init -> vmlinux.2] l4x_virt_to_phys: Could not translate virt. address 229c5b8 [init -> vmlinux.2] l4x_virt_to_phys: Could not translate virt. address 229c5b8 [init -> vmlinux.1] l4io_get_root_device: Not implemented yet! [init -> vmlinux.1] l4io_iterate_devices: Not implemented yet! [init -> vmlinux.2] l4io_get_root_device: Not implemented yet! [init -> vmlinux.2] l4io_iterate_devices: Not implemented yet! [init -> usb_drv] Using configured mac: 02:00:00:00:01:01 no RM attachment (READ pf_addr=40000 pf_ip=22ac510 from 3e2000) virtual void Genode::Signal_session_component::submit(Genode::Signal_context_cay virtual void Genode::Pager_activation_base::entry(): Could not resolve pf=400000 no RM attachment (READ pf_addr=40000 pf_ip=22ac510 from 3bc000) virtual void Genode::Signal_session_component::submit(Genode::Signal_context_cay virtual void Genode::Pager_activation_base::entry(): Could not resolve pf=400000 [init -> usb_drv] netif_info: open: enable queueing (rx 4, tx 60) mtu 1500 simpg [init -> usb_drv] nedev_info: hardware isn't capable of remote wakeup [init -> usb_drv] netif_info: register 'smsc95xx' at usb-ehci-omap-1.1, smsc95xM
So What's wrong with my script?
Best, Zachary