How to run two_linux_panda
Zachary
czzcz at ...302...
Sat Feb 28 07:44:15 CET 2015
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 at ...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 at ...306...) (gcc5
[init -> vmlinux.2] Linux version 3.9.0-l4-gf2eebae (czzcz at ...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
More information about the users
mailing list