users

users@lists.genode.org

1 participants
2310 discussions

Help with RaspberryPI USB on Fiasco.OC+Genode
by Reinier Millo Sánchez 24 Mar '15

24 Mar '15

Hi GenodeOS and L4-Hackers community I'm trying to use DWC_OTG USB Driver for RaspberryPI, using Fiasco.OC as microkernel with Genode. I have tested the USB driver using Genode bare metal hardware on RaspberryPI and works fine. I have reviewed the post published by Simon Arlott about the FIQ and Bell IRQ: http://permalink.gmane.org/gmane.linux.kernel.rpi/438 Also I have reviewed the correction implemented by Norman Feske in the IRQ controller for Genode bare metal hardware: repos/base-hw/src/core/include/spec/rpi/pic.h To use Fiasco.OC as microkernel in Genode I have adapted the patch published in: http://sourceforge.net/p/genode/mailman/message/33071769/ Based on it, i have tried to use the same idea of Norman Feske, modifying the Fiasco.OC's IRQ's controller as shown below: ------ kernel/fiasco/src/kern/arm/bsp/bcm2835/mem_layout-arm-bcm2835.cpp ------ index aab5906..4385ebe 100644 @@ -8,5 +8,6 @@ public: Pic_phys_base = 0x2000b200, Watchdog_phys_base = 0x20100000, Uart_phys_base = 0x20201000, + Usb_dwc_otg_base = 0x20980000, }; }; ---------- kernel/fiasco/src/kern/arm/bsp/bcm2835/pic-arm-bcm2835.cpp ---------- index 20ed280..13fa623 100644 @@ -7,6 +7,83 @@ IMPLEMENTATION [arm && bcm2835]: #include "irq_mgr.h" #include "mmio_register_block.h" #include "kmem.h" +#include "warn.h" + +class Usb_dwc_otg : Mmio_register_block{ +private: + enum{ + Core_irq_status_reg = 0x14, + Guid_reg = 0x3c, + Host_frame_number_reg = 0x408, + }; + bool is_sof() const { return read<Mword>(Core_irq_status_reg)&0x8; } +}; + +PUBLIC +Usb_dwc_otg::Usb_dwc_otg() +: Mmio_register_block(Kmem::mmio_remap(Mem_layout::Usb_dwc_otg_base)) +{ + + write<Mword>(read<Mword>(Guid_reg)&0x3FFFC000, Guid_reg); +} + +PRIVATE +static bool +Usb_dwc_otg::need_trigger_sof(Mword host_frame, Mword scheduled_frame) +{ + Mword const max_frame = 0x3fff; + + if (host_frame < scheduled_frame) { + if (scheduled_frame - host_frame < max_frame / 2) + return false; /* scheduled frame not reached yet */ + else + return true; /* scheduled frame passed, host frame wrapped */ + } else { + if (host_frame - scheduled_frame < max_frame / 2) + return true; /* scheduled frame passed */ + else + return false; /* scheduled frame wrapped, not reached */ + } +} + +PUBLIC +bool +Usb_dwc_otg::handle_sof() +{ + if (!is_sof()) + return false; + + static Mword cnt, stat_cnt, filter_cnt, kick_cnt, trigger_cnt; + + stat_cnt++; + if (stat_cnt == 8000) { + WARN("kicked: %d filtered: %d triggered: %d", kick_cnt, filter_cnt, trigger_cnt); + stat_cnt = 0; + } + + cnt++; + if (cnt == 8*20) { + cnt = 0; + return false; + } + + if (read<Mword>(Guid_reg)&0x40000000) + kick_cnt++; + + if ((!read<Mword>(Guid_reg)&0x80000000) || (read<Mword>(Guid_reg)&0x40000000)) + return false; + + if (Usb_dwc_otg::need_trigger_sof(read<Mword>(Host_frame_number_reg)&0x3fff, read<Mword>(Guid_reg)&0x3fff)) { + trigger_cnt++; + return false; + } + + filter_cnt++; + + write<Mword>(read<Mword>(Core_irq_status_reg)|0x8, Core_irq_status_reg); + + return true; +} class Irq_chip_bcm : public Irq_chip_gen, Mmio_register_block { @@ -29,6 +106,9 @@ public: bool is_edge_triggered(Mword) const { return false; } void set_cpu(Mword, Cpu_number) {} void ack(Mword) { /* ack is empty */ } + +private: + Usb_dwc_otg _usb; }; PUBLIC @@ -97,6 +177,11 @@ Irq_chip_bcm::irq_handler() { b = 0; p = read<Mword>(Irq_pending_1); + if(p==8){ + if(_usb.handle_sof()){ + return; + } + } } else if (p & 0x200) { I have tried to test the *usb_hid *example on Genode using Fiasco.OC as microkernel make run/usb_hid The example compiles fine. When I test it in the emulator QEMU get the following output KERNEL: Warning: kicked: 0 filtered: 0 triggered: 7950 KERNEL: Warning: kicked: 0 filtered: 0 triggered: 15900 KERNEL: Warning: kicked: 0 filtered: 0 triggered: 23850 KERNEL: Warning: kicked: 0 filtered: 0 triggered: 31800 When have tested it on real hardware never get the kernel warning. It seems that the *Kick* and *Num_valid* bits are not modified by the USB driver. After that, I have tried to log the USB driver IRQ, setting #define DEBUG_IRQ 1 in the file repos/dde_linux/src/lib/usb/include/lx_emul.h Setting this value, the USB driver will log every IRQ handled by the function *_handle()* and *_handle_one()***in the USB driver. In the Genode bare metal hardware it works fine, but when tried it with Fiasco.OC, the IRQ handler *_handle()* and *_handle_one()* are never logged. There's something wrong in my implementation? Someone has tested the USB driver using Fiasco.OC and Genode together? Why Fiasco.OC's IRQ's controller is not calling the IRQ's handler defined in the USB driver? I'm using Genode commit 63293950261bfb17497433c36a3d62e6e1d813b3, Fiasco.OC r56 and DWC_OTG commit d08b205cfe01925667f3591117b6d3e1087b4e19. Best regards -- Lic. Reinier Millo SÃ¡nchez Centro de Estudios de InformÃ¡tica Universidad Central "Marta Abreu" de Las Villas "antes de discutir ... respira; antes de hablar ... escucha; antes de escribir ... piensa; antes de herir ... siente; antes de rendirte ... intenta; antes de morir ... vive"

2 2

Run Android on Pandaboard
by pyl 23 Mar '15

23 Mar '15

Hi all, I have run L4Linux on Pandaboard using Genode(base-foc), and now I want to run Android on Pandaboard. But Android can't run on Pandaboard. Is there anything wrong with my run script? Or should I configure something else? Here is my run script and log: # # Build # if {[have_spec foc] == 0} { puts "Runs on Fiasco.OC only" exit 0 } # generic components set build_components { core init drivers/timer drivers/framebuffer drivers/sd_card drivers/usb drivers/gpio drivers/uart server/nitpicker server/nit_fb server/nic_bridge server/part_blk server/terminal server/terminal_log l4android } build $build_components 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"> <resource name="RAM" quantum="1M"/> <provides><service name="Timer"/></provides> </start> <start name="fb_drv"> <binary name="fb_drv"/> <resource name="RAM" quantum="4M"/> <provides><service name="Framebuffer"/></provides> </start> <start name="sd_card_drv"> <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"> <resource name="RAM" quantum="12M"/> <provides> <service name="Input"/> <service name="Nic"/> </provides> <config ehci="yes"> <hid/> <nic mac="2e:60:90:0c:4e:01" /> </config> </start> <start name="part_blk"> <resource name="RAM" quantum="2M"/> <provides><service name="Block"/></provides> <config> <policy label="l4android -> sda" partition="2" /> </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> <config> <domain name="" layer="1"/> <policy label="" domain=""/> </config> </start> <start name="android_fb"> <binary name="nit_fb"/> <resource name="RAM" quantum="32M"/> <provides> <service name="Framebuffer"/> <service name="Input"/> </provides> <config xpos="0" ypos="0" width="640" height="480" refresh_rate="25"/> </start>    <start name="l4android"> <resource name="RAM" quantum="896M"/> <config args="mem=768M console=ttyS0 l4x_rd=root-ginger.gz"> <block label="sda"/> </config> <route> <service name="Input"> <child name="android_fb"/> </service> <service name="Framebuffer"> <child name="android_fb"/> </service> <service name="Block"> <child name="part_blk"/> </service> <service name="Nic"> <child name="nic_bridge"/> </service> <service name="Terminal"> <child name="LOG"/> </service>  <any-service> <parent/> <any-child/> </any-service> </route> </start> </config>} install_config $config # # Boot modules # set boot_modules { core init timer nitpicker nit_fb nic_bridge terminal terminal_log kdb_uart_drv fb_drv part_blk sd_card_drv gpio_drv usb_drv l4android root-ginger.gz ld.lib.so } lappend_if [have_spec x86] boot_modules nic_drv lappend_if [have_spec x86] boot_modules atapi_drv lappend_if [have_spec pci] boot_modules pci_drv lappend_if [have_spec ps2] boot_modules ps2_drv lappend_if [have_spec pl11x] boot_modules pl11x_drv lappend_if [have_spec lan9118] boot_modules nic_drv lappend_if [have_spec pl180] boot_modules sd_card_drv lappend_if [have_spec vesa] boot_modules vesa_drv if {[have_spec x86]} { set initrd_uri "http://genode.org/files/release-11.11/l4lx/root-ia32-ginger.gz" set system_uri "http://genode.org/files/release-11.11/l4lx/system-ia32-ginger.img" } elseif {[have_spec arm]} { set initrd_uri "http://genode.org/files/release-11.11/l4lx/root-arm-ginger.gz" set system_uri "http://genode.org/files/release-11.11/l4lx/system-arm-ginger.img" } if {![file exists bin/root-ginger.gz]} { puts "Download initramfs ..." exec curl $initrd_uri > bin/root-ginger.gz 2> /dev/null } if {![file exists bin/system-ginger.img]} { puts "Download system image ..." exec curl $system_uri > bin/system-ginger.img 2> /dev/null } build_boot_image [join $boot_modules " "] append qemu_args " -m 512 " append qemu_args " -serial mon:stdio " append_if [have_spec x86] qemu_args " -hda bin/system-ginger.img " append_if [have_spec x86] qemu_args " -net nic,model=e1000 " append_if [have_spec pl180] qemu_args " -drive file=bin/system-ginger.img,if=sd,cache=writeback " append_if [have_spec lan9118] qemu_args " -net nic,model=lan9118 " append qemu_args " -net user -redir tcp:5555::5555 " run_genode_until forever my log: B O O T I N G G E N O D E / A R M O N P A N D A reading image.elf 10211708 bytes read ## Starting application at 0x81000000 ... L4 Bootstrapper Build: #3 Sun Mar 22 21:45:03 CST 2015, 4.7.4 Scanning up to 1024 MB RAM Memory size is 1024MB (80000000 - bfffffff) RAM: 0000000080000000 - 00000000bfffffff: 1048576kB Total RAM: 1024MB mod19: 8193b000-819b4e9c: genode/ld.lib.so mod18: 81903000-8193aa00: genode/root-ginger.gz mod17: 8156f000-819027d4: genode/l4android mod16: 814b4000-8156edf0: genode/usb_drv mod15: 8146b000-814b3b94: genode/gpio_drv mod14: 81422000-8146a1f8: genode/sd_card_drv mod13: 813d9000-81421fa0: genode/part_blk mod12: 8138e000-813d85f8: genode/fb_drv mod11: 81346000-8138d5c8: genode/kdb_uart_drv mod10: 81302000-81345d54: genode/terminal_log mod09: 812a4000-81301d74: genode/terminal mod08: 81254000-812a3b88: genode/nic_bridge mod07: 81206000-812537ec: genode/nit_fb mod06: 8119b000-81205fd8: genode/nitpicker mod05: 81154000-8119a410: genode/timer mod04: 81105000-811538c0: genode/init mod03: 81103000-81104398: genode/config mod02: 8108a000-811021dc: genode/core mod01: 81080000-81089374: sigma0 mod00: 81016000-8107f26c: /home/pyl/code/genode/genode-master/build/foc_panda/kernel/fiasco.oc/fiasco Moving up to 20 modules behind 81100000 moving module 00 { 81016000-8107f26b } -> { 81a9f000-81b0826b } [430700] moving module 01 { 81080000-81089373 } -> { 81b09000-81b12373 } [37748] moving module 02 { 8108a000-811021db } -> { 81b13000-81b8b1db } [491996] moving module 03 { 81103000-81104397 } -> { 81100000-81101397 } [5016] moving module 04 { 81105000-811538bf } -> { 81102000-811508bf } [321728] moving module 05 { 81154000-8119a40f } -> { 81151000-8119740f } [287760] moving module 06 { 8119b000-81205fd7 } -> { 81198000-81202fd7 } [438232] moving module 07 { 81206000-812537eb } -> { 81203000-812507eb } [317420] moving module 08 { 81254000-812a3b87 } -> { 81251000-812a0b87 } [326536] moving module 09 { 812a4000-81301d73 } -> { 812a1000-812fed73 } [384372] moving module 10 { 81302000-81345d53 } -> { 812ff000-81342d53 } [277844] moving module 11 { 81346000-8138d5c7 } -> { 81343000-8138a5c7 } [292296] moving module 12 { 8138e000-813d85f7 } -> { 8138b000-813d55f7 } [304632] moving module 13 { 813d9000-81421f9f } -> { 813d6000-8141ef9f } [298912] moving module 14 { 81422000-8146a1f7 } -> { 8141f000-814671f7 } [295416] moving module 15 { 8146b000-814b3b93 } -> { 81468000-814b0b93 } [297876] moving module 16 { 814b4000-8156edef } -> { 814b1000-8156bdef } [765424] moving module 17 { 8156f000-819027d3 } -> { 8156c000-818ff7d3 } [3749844] moving module 18 { 81903000-8193a9ff } -> { 81900000-819379ff } [227840] moving module 19 { 8193b000-819b4e9b } -> { 81938000-819b1e9b } [499356] Scanning /home/pyl/code/genode/genode-master/build/foc_panda/kernel/fiasco.oc/fiasco -serial_esc Scanning sigma0 Scanning genode/core Relocated mbi to [0x8100f000-0x8100f31c] Loading de/genode-master/build/foc_panda/kernel/fiasco.oc/fiasco Loading sigma0 Loading genode/core find kernel info page... found kernel info page at 0x80002000 Regions of list 'regions' [ 80001000, 80001bff] { c00} Kern de/genode-master/build/foc_panda/kernel/fiasco.oc/fiasco [ 80002000, 80076fff] { 75000 de/genode-master/build/foc_panda/kernel/fiasco.oc/fiasco [ 80090000, 8009673b] { 673c} Sigma0 sigma0 [ 80098000, 8009e17b] { 617c} Sigma0 sigma0 [ 80140000, 8029172f] { 151730} Root genode/core [ 81000000, 810153f3] { 153f4} Boot bootstrap [ 8100f000, 8100f419] { 41a} Root Multiboot info [ 81100000, 819b1e9b] { 8b1e9c} Root Module API Version: (87) experimental Sigma0 config ip:80090100 sp:81014de4 Roottask config ip:80140000 sp:00000000 Starting kernel de/genode-master/build/foc_panda/kernel/fiasco.oc/fiasco at 800013c0 Hello from Startup::stage2 Per_cpu_data_alloc: (orig: 0xf00660d8-0xf0066a68) Number of IRQs available at this GIC: 160 Cache config: ON ID_PFR[01]: 00001231 00000011 ID_[DA]FR0: 00010444 00000000 ID_MMFR[04]: 00100103 20000000 01230000 00102111 FPU0: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: dbl/sngl L2: ID=410000c7 Type=1e340340 Aux=7e470000 WMask=ffff S=0 L2: Type L2C-310 Size = 1024kB SERIAL ESC: allocated IRQ 106 for serial uart Not using serial hack in slow timer handler. Welcome to Fiasco.OC (arm)! L4/Fiasco.OC arm microkernel (C) 1998-2013 TU Dresden Rev: rUnversioned director compiled with gcc 4.7.4 for Pandaboard [] Build: #2 Sun Mar 22 21:44:57 CST 2015 Per_cpu_data_alloc: (orig: 0xf00660d8-0xf0066a68) Allocate 2448 bytes (2KB) for CPU[4] local storage (offset=117ff28, 0xf11e6000-0xf11e6990) Number of CPUs: 2 Calibrating timer loop... Per_cpu_data_alloc: (orig: 0xf00660d8-0xf0066a68) done. Allocate 2448 bytes (2KB) for CPU[1] local storage (offset=1180f28, 0xf11e7000-0xf11e7990) SCache config: ON IID_PFR[01]: 00001231 00000011G ID_[DA]FR0: 00010444 00000000 MID_MMFR[04]: 00100103 20000000 01230000 00102111 AFPU1: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: dbl/sngl 0CPU[1]: goes to idle loop : Hello! KIP @ 80002000 allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [0:80000000;80000fff] [0:80077000;8008ffff] [0:80097000;80097fff] [0:8009f000;8013ffff] [4:80140000;80291fff] [0:80292000;8100efff] [4:8100f000;8100ffff] [0:81010000;810fffff] [4:81100000;819b1fff] [0:819b2000;beffffff] IOMEM:---------------------- [0:0;7fffffff] [0:c0000000;ffffffff] KIP @ 80002000 magic: 4be6344c version: 87024444 sigma0 esp: 81014de4 eip: 80090100 sigma1 esp: 00000000 eip: 00000000 root esp: 00000000 eip: 80140000 MBI @ 8100f000 mod[3] [8110000 mod[5] [81151000,81197410) timer mod[6] [81198000,81202fd8) nitpicker mod[7] [81203000,812507ec) nit_fb mod[8] [81251000,812a0b88) nic_bridge mod[9] [812a1000,812fed74) terminal mod[10] [812ff000,81342d54) terminal_log mod[11] [81343000,8138a5c8) kdb_uart_drv mod[12] [8138b000,813d55f8) fb_drv mod[13] [813d6000,8141efa0) part_blk mod[14] [8141f000,814671f8) sd_card_drv mod[15] [81468000,814b0b94) gpio_drv mod[16] [814b1000,8156bdf0) usb_drv mod[17] [8156c000,818ff7d4) l4android mod[18] [81900000,81937a00) root-ginger.gz mod[19] [81938000,819b1e9c) ld.lib.so :ram_alloc: Allocator 802826a8 dump: Block: [80000000,8000001c) size=0000001c avail=00000000 max_avail=00000000 Block: [8000001c,80000038) size=0000001c avail=00000000 max_avail=00000000 Block: [80000038,80000438) size=00000400 avail=00000000 max_avail=00018fe4 Block: [80000438,80000454) size=0000001c avail=00000000 max_avail=00000000 Block: [80000454,80000470) size=0000001c avail=00000000 max_avail=00000b90 Block: [80000470,80001000) size=00000b90 avail=00000b90 max_avail=00000b90 Block: [80077000,8007701c) size=0000001c av max_avail=00018fe4 Block: [8007701c,80090000) size=00018fe4 avail=00018fe4 max_avail=00018fe4 Block: [80097000,8009701c) size=0000001c avail=00000000 max_avail=00018fe4 Block: [8009701c,80097038) size=0000001c avail=00000000 max_avail=00000000 Block: [80097038,80097054) size=0000001c avail=00000000 max_avail=00000000 Block: [80097054,80097070) size=0000001c avail=00000000 max_avail=00000000 Block: [80097070,8009708c) size=0000001c avail=00000000 max_avail=00000000 Block: [8009708c,800970a8) size=0000001c avail=00000000 max_avail=00000000 Block: [800970a8,800970c4) size=0000001c avail=00000000 max_avail=00000000 Block: [800970c4,800970e0) size=0000001c avail=00000000 max_avail=00000000 Block: [800970e0,800970fc) size=0000001c avail=00000000 max_avail=3d64e000 Block: [800970fc,80097118) size=0000001c avail=00000000 max_avail=00000000 Block: [80097118,80097134) size=0000001c avail=00000000 max_avail=00000eb0 Block: [80097134,80097150) size=0000001c avail=00000000 max_avail=00000000 Block: [80097150,80098000) size=00000eb0 avail=00000eb0 max_avail=00000eb0 Block: [8009f000,8009f01c) size=0000001c avail=00000000 max_avail=3d64e000 Block: [8009f01c,80140000) size=000a0fe4 avail=000a0fe4 max_avail=000a0fe4 Block: [80292000,8100f000) size=00d7d000 avail=00d7d000 max_avail=3d64e000 Block: [81010000,81100000) size=000f0000 avail=000f0000 max_avail=3d64e000 Block: [819b2000,bf000000) size=3d64e000 avail=3d64e000 max_avail=3d64e000 => mem_size=1045917696 (997 MB) / mem_avail=1045916168 (997 MB) :region_alloc: Allocator 80283818 dump: Block: [00001000,20000000) size=1ffff000 avail=1ffff000 max_avail=1ffff000 Block: [30000000,80000000) size=50000000 avail=50000000 max_avail=50000000 Block: [80001000,80002000) size=00001000 avail=00001000 max_avail=00001000 Block: [80003000,80077000) size=00074000 avail=00074000 max_avail=50000000 Block: [80090000,80097000) size=00007000 avail=00007000 max_avail=00007000 Block: [80098000,8009f000) size=00007000 avail=00007000 max_avail=50000000 Block: [bf000000,bfff0000) size=00ff0000 avail=00ff0000 max_avail=00ff0000 => mem_size=1896292352 (1808 MB) / mem_avail=1896292352 (1808 MB) :io_mem: Allocator 80282b04 dump: Block: [00000000,80000000) size=80000000 avail=80000000 max_avail=80000000 Block: [80001000,80002000) size=00001000 avail=00001000 max_avail=80000000 Block: [80003000,80077000) size=00074000 avail=00074000 max_avail=00074000 Block: [80090000,80097000) size=00007000 avail=00007000 max_avail=00074000 Block: [80098000,8009f000) size=00007000 avail=00007000 max_avail=80000000 Block: [bf000000,ffffffff) size=40ffffff avail=40ffffff max_avail=40ffffff => mem_size=3238539263 (3088 MB) / mem_avail=3238539263 (3088 MB) :io_port: Allocator 80282f60 dump: :irq: Allocator 802833bc dump: Block: [00000000,00000100) size=00000100 avail=00000100 max_avail=00000100 => mem_size=256 (0 MB) / mem_avail=256 (0 MB) :rom_fs: Rom_fs 802840cc dump: Rom: [80002000,80003000) l4v2_kip Rom: [81102000,811508c0) init Rom: [8138b000,813d55f8) fb_drv Rom: [81100000,81101398) config Rom: [81468000,814b0b94) gpio_drv Rom: [80002000,80003000) kip Rom: [81343000,8138a5c8) kdb_uart_drv Rom: [8156c000,818ff7d4) l4android Rom: [8141f000,814671f8) sd_card_drv Rom: [81198000,81202fd8) nitpicker Rom: [81251000,812a0b88) nic_bridge Rom: [81938000,819b1e9c) ld.lib.so Rom: [81203000,812507ec) nit_fb Rom: [813d6000,8141efa0) part_blk Rom: [81900000,81937a00) root-ginger.gz Rom: [812ff000,81342d54) terminal_log Rom: [812a1000,812fed74) terminal Rom: [81151000,81197410) timer Rom: [814b1000,8156bdf0) usb_drv :core ranges: Allocator 802860e0mp: Block: [80000000,80001000) size=00001000 avail=00001000 max_avail=00001000 Block: [80077000,80090000) size=00019000 avail=00019000 max_avail=00019000 Block: [80097000,80098000) size=00001000 avail=00001000 max_avail=3dff0000 Block: [8009f000,8100f000) size=00f70000 avail=00f70000 max_avail=3dff0000 Block: [81010000,bf000000) size=3dff0000 avail=3dff0000 max_avail=3dff0000 => mem_size=1056419840 (1007 MB) / mem_avail=1056419840 (1007 MB) Genode 14.11 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 997 MB to init int main(): --- init created, waiting for exit condition --- Quota exceeded! amount=28672, size=4096, consumed=28672 [init] upgrading quota donation for Env::CPU (8192 bytes) [init -> gpio_drv] --- omap4 gpio driver --- Insufficient quota for transfer: init -> part_blk have 1564672, need 4206592 [init] not enough quota for a donation of 4206592 bytes [init -> part_blk] resource_request: ram_quota=4206592 [init -> part_blk] virtual void Genode::Platform_env::release(): used before freeing emergency=290816 [init -> part_blk] virtual void Genode::Platform_env::release(): used after freeing emergency=286720 [init] child "part_blk" requests resources: ram_quota=4206592 [init -> fb_drv] Could not open file "config" [init -> fb_drv] Could not obtain config file [init -> sd_card_drv] --- OMAP4 SD card driver --- [init -> fb_drv] int main(int, char**): using default configuration: HDMI@...311... [init -> gpio_drv] No GPIO config [init -> l4android] Booting L4Linux ... [init -> usb_drv] Services::Services(): Could not read screen resolution in config node [init -> usb_drv] Services::Services(): No <storage> config node found - not starting the USB Storage (Block) service [init -> usb_drv] Services::Services(): No <raw> config node found - not starting external USB service [init -> usb_drv] Enabled EHCI (USB 2.0) support [init -> l4android] ======> L4Linux starting... <======== [init -> l4android] Linux version 3.5.0-l4-gcea6e7a (pyl@...317...) (gcc version 4.7.4 (GCC) ) #3 SMP Sun Mar 22 21:44:43 CST 2015 [init -> l4android] Binary name: vmlinux [init -> l4android] This is an AEABI build. [init -> l4android] Linux kernel command line (3 args): mem=768M console=ttyS0 l4x_rd=root-ginger.gz [init -> l4android] CPU mapping (l:p)[0]: Image: 01000000 - 01400000 [4096 KiB]. [init -> l4android] Areas: Text: 01000000 - 0135e000 [3448kB] (a bit longer) [init -> l4android] Data: 0135e000 - 0138b1b8 [180kB] [init -> l4android] Initdata: 01338000 - 0135d4c0 [149kB] [init -> l4android] BSS: 0138c000 - 013c96d8 [245kB] [init -> usb_drv] Using configured mac: 2e:60:90:0c:4e:01 [init -> l4android] l4io_get_root_device: Not implemented yet! [init -> l4android] Device scan: [init -> sd_card_drv] CID: 0x97009861 0x38caa862 0x44303847 0x02544d53 [init -> l4android] l4io_iterate_devices: Not implemented yet! [init -> sd_card_drv] RCA: 0x895a [init -> l4android] Device scan done. [init -> usb_drv] void platform_hcd_init(Services*): register platform device [init -> usb_drv] dev_info: EHCI Host Controller [init -> sd_card_drv] SD card detected [init -> sd_card_drv] capacity: 7600 MiB [init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1 [init -> part_blk] Partition 1: LBA 63 (144522 blocks) type: c [init -> part_blk] Partition 2: LBA 144585 (15149295 blocks) type: c [init -> part_blk] Partition 3: LBA 15293880 (257040 blocks) type: c [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 -> l4android] main thread will be c [init -> l4android] l4x_register_pointer_section: addr = 01000000 size = 4194304 [init -> l4android] section-with-init: virt: 1000000 to 13fffff [4096 KiB] [init -> l4android] Cannot determine physical address for dataspace Binary! [init -> l4android] error: failed to get physical address for 1000000. [init -> usb_drv] dev_info: 3 ports detected [init -> l4android] thread=c000 cpu=0 [init -> l4android] Main thread running, waiting... [init -> l4android] l4x_setup_memory: Forcing superpages for main memory [init -> l4android] l4re_global_env: 0 [init -> l4android] Main memory size: 768MB unmapping of managed dataspaces not yet supported [init -> l4android] Main memory: virt: 40000000 to 6fffffff [786432 KiB] [init -> l4android] Main memory: Phys: 0x00000000 to 0x30000000, Size: 805306368 [init -> l4android] Filling lower ptabs... [init -> l4android] Done (0 entries). [init -> l4android] l4x_register_pointer_section: addr = 01000000 size = 4194304 [init -> l4android] text: virt: 1000000 to 13fffff [4096 KiB] [init -> l4android] Cannot determine physical address for dataspace Binary! [init -> l4android] error: failed to get physical address for 1000000. [init -> nitpicker] create session with args: label="android_fb", ram_quota=28672 [init -> l4androto_phys: Could not translate virt. address 1000000 [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1337fb3 [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 135e000 [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 13c96d7 [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1000000 [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 13fffff [init -> l4android] l4x_rd_path: root-ginger.gz [init -> l4android] Loading: root-ginger.gz [init -> l4android] INITRD: Size of RAMdisk is 224KiB [init -> l4android] RAMdisk from 00005000 to 0003d000 [224KiB] [init -> usb_drv] dev_info: new high-speed USB device number 2 using ehci-omap [init -> l4android] l4timer: Using IRQ210 [init] l4android: invalid route to non-existing server "LOG" [init] l4android: lookup to child service "Terminal" failed [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 12359a0 [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 12359a0 [init -> l4android] l4io_get_root_device: Not implemented yet! [init -> l4android] l4io_iterate_devices: Not implemented yet! [init -> nic_bridge] Could not open file "config" [init -> nic_bridge] Could not obtain config file Insufficient quota for transfer: init -> nic_bridge have 1564672, need 3301376 [init] not enough quota for a donation of 3301376 bytes [init -> nic_bridge] resource_request: ram_quota=3301376 [init -> nic_bridge] virtual void Genode::Platform_env::release(): used before freeing emergency=278528 [init -> nic_bridge] virtual void Genode::Platform_env::release(): used after freeing emergency=274432 [init] child "nic_bridge" requests resources: ram_quota=3301376 [init -> android_fb] using xywh=(0,0,640,480) [init -> usb_drv] dev_info: USB hub found [init -> usb_drv] dev_info: 5 ports detected no RM attachment (READ pf_addr=99000 pf_ip=1245880 from 3e5000) virtual void Genode::Signal_session_component::submit(Genode::Signal_context_capability, unsigned int): invalid signal-context capability virtual void Genode::Pager_activation_base::entry(): Could not resolve pf=99000 ip=1245880 [init -> usb_drv] dev_info: new high-speed USB device number 3 using ehci-omap [init -> usb_drv] Using configured mac: 2e:60:90:0c:4e:01 [init -> usb_drv] netif_info: open: enable queueing (rx 4, tx 60) mtu 1500 simple framing [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, smsc95xx USB 2.0 Ethernet, 10c4e04M [init -> nic_bridge] --- NIC bridge started (mac=2e:60:90:0c:4e:01) --- Thanks Cooper

2 1

Genode on IMX6
by chirag garg 23 Mar '15

23 Mar '15

Hi all, I am trying to enable TrustZone for imx6 processor. As earlier, I have modified Genode for imx6 and it was successfully running. And I am able to run Genode in secure world as well as in Normal world on imx6 tablet. Now i am trying to run Linux (3.10 without dtb) in the Normal world. I tried the follow the following steps: 1) I simply followed the steps mentioned on the following link http://boundarydevices.com/cross-compile-i-mx6-kernel-using-ltib-toolchain/ which generate uImage which is successfully running on imx6 with LOADADDR=30008000. 2) I simply copied this uImage as "linux" in <Genode>/<Build_Dir>/bin/ folder 3) run the modified tz_vmm script and build the uImage. I run the uImage on the imx6 board.Following is the generated output: 9928768 bytes read in 523 ms (18.1 MiB/s) ## Booting kernel from Legacy Image at 10800000 ... Image Name: Image Type: ARM Linux Kernel Image (uncompressed) Data Size: 9928704 Bytes = 9.5 MiB Load Address: 10001000 Entry Point: 10001000 Verifying Checksum ... OK Loading Kernel Image ... OK Starting kernel ... kernel initialized Genode 14.11 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 246 MB to init int main(): --- init created, waiting for exit condition --- [init] parent provides [init] service "ROM" [init] service "RAM" [init] service "IRQ" [init] service "IO_MEM" [init] service "CAP" [init] service "PD" [init] service "RM" [init] service "CPU" [init] service "LOG" [init] service "SIGNAL" [init] service "VM" [init] child "tz_vmm" [init] RAM quota: 3932160 [init] ELF binary: tz_vmm [init] priority: 0 [init -> tz_vmm] Start virtual machine ... I am using Genode-14.11 and u-boot 14.07 to run this image. I set the NONSECURE_RAM_BASE=0x30000000 and kernel_offset=8000. I know i haven't modified linux according to the normal world but at least kernel should start in normal world. What could be the reason or some thing wrong in the steps due to which Linux is not able to start in Normal world ? Thanks in advance. Regards Chirag Garg IIT Madras , Rise Lab

4 6

Re: Genode Hack'n Hike 2013
by Norman Feske 23 Mar '15

23 Mar '15

Hello everyone, the date for this year's Genode Hack'n Hike held during 11-16 of September is approaching. Genode's developers will spend those days in the beautiful scenery of the Bohemian Switzerland, relaxing, hiking, and hacking on fun side projects. The Hack'n Hike will be the perfect setting for getting involved with the community, catching up, or just hanging out with the Genode crowd. There is still room for more participants. Genode Labs sponsors the event. So your participation/accommodation is free. If you like to join in, please get in touch by writing to hacknhike@...1... or commenting on https://github.com/genodelabs/genode/issues/793. Cheers Norman On 07/25/2013 02:38 PM, Norman Feske wrote: > Hello, > > let me get back to this year's Genode Hack'n Hike planned for the 11th > to 16th of September. Since I posted the initial announcement (below), > we settled for a beautiful location in the Bohemian Switzerland in Czech > Republic. Check out the following links for wetting your appetite: > > http://goo.gl/maps/TAZc1 > http://www.kristinhradek.cz/en > > The location lends itself to a multitude of leisure activities. For > planning those activities and to discuss topics around the Hack'n Hike > event, there is a dedicated issue in the Genode issue tracker: > > https://github.com/genodelabs/genode/issues/793 > > Please feel welcome to join in, whether to stay the whole time or just > for a short visit. Genode Labs will sponsor the accommodation, but the > available space is limited. If you consider to join this year's Hack'n > Hike, please send a short notice to the following email address to > register your participation: > > hacknhike@...1... > > Cheers > Norman > > On 06/05/2013 12:42 PM, Norman Feske wrote: >> Hello, >> >> I'd like to share the following excerpt of the latest Genode-Labs >> newsletter with you: >> >> >> Join us at Genode's Hack'n Hike event >> ------------------------------------- >> >> In spring of 2012, we held the first instance of the Genode Hack'n >> Hike, which were wonderful days full of hacking, relaxing, brain- >> storming, and enjoying the magnificent nature of the Saxon Switzerland >> together. From the feedback we got from the attendees, it goes >> without saying that this should not stay a singular event, but >> rather be the prelude of a tradition. Hence, we have fixed the date >> for this year's Hack'n Hike: >> >> Begin: Wednesday, September 11 >> End: Monday, September 16 >> >> We extended the duration of the event over that of last year's. >> Whether you'd like to drop by for just a few hours, or you'd like to >> stay for the whole time, you are welcome to join in. Genode Labs >> will sponsor the accommodation. So don't worry too much about the >> costs. >> >> As of now, we haven't finalized the decision about the venue, but >> you can be sure that it will be a beautiful and romantic place, >> presumably in Saxony/Germany or Bohemian Switzerland in Czech >> Republic. If you have particular preferences regarding the >> accommodation or leisure-time activities, then the best time to get >> in touch with us is now. Also, if you plan attending, we'd greatly >> appreciate a short notice, which will help us with planning ahead. >> Please write to: >> >> hacknhike@...1... >> >> We at Genode Labs are looking forward to the gathering of the Genode >> community in autumn and would love to welcome you! >> >> ------ >> >> For the full newsletter, please refer to >> >> http://genode-labs.com/news/newsletter/newsletter-2013-05 >> >> Cheers >> Norman >> > > -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth ------------------------------------------------------------------------------ Introducing Performance Central, a new site from SourceForge and AppDynamics. Performance Central is your source for news, insights, analysis and resources for efficient Application Performance Management. Visit us today! http://pubads.g.doubleclick.net/gampad/clk?id=48897511&iu=/4140/ostg.clktrk _______________________________________________ Genode-announce mailing list Genode-announce(a)lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-announce

2 1

Re: Tutorials on porting 3rd party source/library
by Aditya Kousik 21 Mar '15

21 Mar '15

Hello all, I've gotten back into Genode dev after nearly a year. I was going through the porting guide, and I'm stuck. I initialized the prepare_port script for dosbox and set a build directory for linux_x86. But running either make app/dosbox and run/dosbox gives an Error 255 : No run script for dosbox. Where am I going wrong? Secondly, about the LIBS variable: Does it link libraries already ported for the Genode platform, or the libraries from the Linux system? Thanks and regards, Aditya.

2 1

lacks a valid hash
by missss 19 Mar '15

19 Mar '15

Hi everyone. I follow the example in the https://raw.githubusercontent.com/nfeske/genode-world/master/doc/numptyphys… port file with the following content: LICENSE := GPLv3 VERSION := git DOWNLOADS := numptyphysics.git URL(numptyphysics) := https://github.com/thp/numptyphysics.git DIR(numptyphysics) := src/app/numptyphysics REV(numptyphysics) := 336729c44c9ced3907d049cc1c1130a26c5708a3 hash file with following content： dummy when i use prepare _port tool: <genode-dir>/tool/prepare_port numptyphysics CHECK_HASH=no with following errors: Error: Port numptyphysics lacks a valid hash make: *** [nonexisting_hash] Error 1 why i use argument “CHECK_HASH=no”?but it still report the error.

1 0

How can i port linux driver to genode
by 周俊 18 Mar '15

18 Mar '15

Hi everyone！ I have been read the official document： http://www.genode.org/documentation/developer-resources/porting <http://www.genode.org/documentation/developer-resources/porting> I know the basic steps to port driver to genode. but i have some question：how can i write a port file？i don’t know what thing should write in a port file？ only include License ,version,downloads, URL,SHA,DIR.patches，patch_ot. is’t ok? what the relationship between port file and hash file?

2 1

Virtualbox + rump_fs + qemu
by a3an 16 Mar '15

16 Mar '15

Hello, I am trying get Virtualbox using rump_fs in a qemu environment. I am using a modified virtualbox.run script called vb_ide.run. Eventually Virtualbox is started as follows: qemu-system-x86_64 -no-kvm -cpu core2duo -m 512 -boot order=d, -hda /GV/QV.img -serial mon:stdio -cdrom var/run/vb-ide.iso Device -hda contains an ext2 filesystem upon which an original VirtualBox VMs directory environment is installed. The following is part of the init script that is used. <start name="atapi_drv"> <resource name="RAM" quantum="5M"/> <provides><service name="Block"/></provides> <config ata="yes"/> </start> <start name="rump_fs" priority="-1"> <resource name="RAM" quantum="32M" /> <provides><service name="File_system"/></provides> <config fs="ext2fs"><policy label="" root="/" writeable="yes"/></config> </start> <start name="virtualbox" priority="-2"> <resource name="RAM" quantum="750M"/> <config vbox_file="w7.vbox" vm_name="w7"> <libc stdout="/dev/log" stderr="/dev/log"> <vfs> <dir name="dev"> <log/> </dir> </vfs> </libc> </config> </start> This part of the script and a similar qemu invocation have been used in a variation of the rump_ext2 script as well and works fine. The NOVA hypervisor is booted from -cdrom the programs are loaded from -cdrom as well. The test program issues filesystem operation resulting in manipulations of the filesystem on device -hda. When stating Virtualbox however, is does not work. Everything starts fine, however, virtualbox does not seem to use rump_fs (I have placed a PWRN message in the rump_fs server code that did not show up). It terminates because it cannot find w7.vbox. Genode 14.11 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 456 MB to init Quota exceeded! amount=24576, size=4096, consumed=24576 [init] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=32768, size=4096, consumed=32768 [init] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=40960, size=4096, consumed=40960 [init] upgrading quota donation for Env::CPU (8192 bytes) [init -> atapi_drv] IDE 0 Device 0: ATA IRQ: 14 [init -> acpi] available memory for ACPI 2048 kiB, for PCI_DRV 5468 kiB [init -> ps2_drv] Detected ExPS/2 mouse - activating scroll-wheel and 5-button support. [init -> ps2_drv] Using keyboard with scan code set 1 (xlate). [init -> rump_fs] Using ext2fs as file system [init -> rump_fs] int rumpuser_init(int, const rumpuser_hyperup*): RUMP ver: 17 [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_THREADS [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_VERBOSE [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): _RUMPUSER_NCPU [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_MEMLIMIT [init -> rump_fs] Asserting rump kernel 28732 KB of RAM Quota exceeded! amount=24576, size=4096, consumed=24576 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=32768, size=4096, consumed=32768 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) [init -> rump_fs] BOOTSTRAP [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_NVNODES [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_BLKFAIL [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_BLKSECTSHIFT Quota exceeded! amount=40960, size=4096, consumed=40960 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) [init -> acpi] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = unsigned int; Genode::uint32_t = unsigned int]: Found MADT Quota exceeded! amount=49152, size=4096, consumed=49152 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) [init -> acpi] MADT IRQ 0 -> GSI 2 flags: 0 [init -> acpi] MADT IRQ 5 -> GSI 5 flags: d [init -> acpi] MADT IRQ 9 -> GSI 9 flags: d [init -> acpi] MADT IRQ 10 -> GSI 10 flags: d [init -> acpi] MADT IRQ 11 -> GSI 11 flags: d Quota exceeded! amount=61440, size=4096, consumed=61440 [init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes) Quota exceeded! amount=57344, size=4096, consumed=57344 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_MODULEBASE Quota exceeded! amount=69632, size=4096, consumed=69632 [init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes) Quota exceeded! amount=65536, size=4096, consumed=65536 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=77824, size=4096, consumed=77824 [init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes) [init -> acpi -> pci_drv] PCI driver started Quota exceeded! amount=73728, size=4096, consumed=73728 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): _RUMPUSER_HOSTNAME Quota exceeded! amount=86016, size=4096, consumed=86016 [init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes) Quota exceeded! amount=81920, size=4096, consumed=81920 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) [init -> acpi -> pci_drv -> pci_device_pd] PCI device pd starting ... [init -> acpi -> pci_drv -> pci_device_pd] PCI device pd started [init -> acpi] ACPI table format not supported - will not rewrite GSIs [init -> atapi_drv] Found IDE Bus Master (Vendor ID: 8086 Device ID: 7010 Class: 00010180) [init -> atapi_drv] Bus master interface base addr: 0000c100 (I/O) secondary (no) (supported) [init -> atapi_drv] Adress mode is LBA48 [init -> atapi_drv] UDMA Modes supported: [init -> atapi_drv] 0 and below: yes enabled: no [init -> atapi_drv] 1 and below: yes enabled: no [init -> atapi_drv] 2 and below: yes enabled: no [init -> atapi_drv] 3 and below: yes enabled: no [init -> atapi_drv] 4 and below: yes enabled: no [init -> atapi_drv] 5 and below: yes enabled: yes [init -> atapi_drv] PRD base at 03035000 (physical) at 00004000 (virtual) [init -> atapi_drv] Device initialized! Enabling interrupts ... [init -> atapi_drv] First block: 0 last block 104857599, block size 512 [init -> rump_fs] Backend::Backend(): Backend blk_size 512 [init -> fb_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): fb mapped to 1000 Quota exceeded! amount=94208, size=4096, consumed=94208 [init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes) [init -> virtualbox] void init_libc_lock_pipe(): init_libc_lock_pipe() [init -> virtualbox] using the pipe libc plugin [init -> virtualbox] getenv called for non-existent variable "XML_MEM_BREAKPOINT" [init -> virtualbox] getenv called for non-existent variable "XML_MEM_TRACE" [init -> virtualbox] getenv called for non-existent variable "LC_ALL" [init -> virtualbox] getenv called for non-existent variable "LC_CTYPE" [init -> virtualbox] getenv called for non-existent variable "LANG" [init -> virtualbox] getenv called for non-existent variable "PATH_LOCALE" [init -> virtualbox] getenv called for non-existent variable "VBOX_DISABLE_HOST_DISK_CACHE" [init -> virtualbox] getenv called for non-existent variable "CHARSETALIASDIR" [init -> virtualbox] plugin()->open("") failed [init -> virtualbox] fcntl(): command 2 not supported [init -> virtualbox] Log created: 2015-02-22T21:29:03.000000000Z [init -> virtualbox] main Executable: /virtualbox [init -> virtualbox] C++ runtime: xml::EIPRTFailure [init -> virtualbox] C++ runtime: Runtime error opening 'w7.vbox' for reading: -102(File not found.) [init -> virtualbox] void* abort(): abort called What I do not understand is, how one can tell/direct Virtualbox to use a particular device or filesystem. Can somebody explain this ? Regards, Adrian

2 10

Can't run Android on Pandaboard
by Zachary 16 Mar '15

16 Mar '15

Hi all, I want to run Android using Genode foc on Pandaboard referencing to "http://sourceforge.net/p/genode/mailman/message/30642833/" Now, I compile and get a image. When I run the image, I only get a black window with a penguin on it. This my operation: 1) Format my SD card to 3 partitions. 2) Copy the system-ginger.img via "dd" to the second partition: sudo dd if=system-ginger of=/dev/sdb2 bs=1M 3) Build the image using the run script blew 4) Copy the image to the first partition of the SD card This is my run script: # # Build # if {[have_spec foc] == 0} { puts "Runs on Fiasco.OC only" exit 0 } # generic components set build_components { core init drivers/timer drivers/framebuffer drivers/sd_card drivers/usb drivers/gpio server/nitpicker server/nit_fb server/nic_bridge server/part_blk server/terminal server/terminal_log l4android } build $build_components 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"> <resource name="RAM" quantum="1M"/> <provides><service name="Timer"/></provides> </start> <start name="fb_drv"> <binary name="fb_drv"/> <resource name="RAM" quantum="4M"/> <provides><service name="Framebuffer"/></provides> </start> <start name="sd_card_drv"> <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"> <resource name="RAM" quantum="12M"/> <provides> <service name="Input"/> <service name="Nic"/> </provides> <config ehci="yes"> <hid/> <nic mac="2e:60:90:0c:4e:01" /> </config> </start> <start name="part_blk"> <resource name="RAM" quantum="2M"/> <provides><service name="Block"/></provides> <config> <policy label="l4android -> sda" 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="android_fb"> <binary name="nit_fb"/> <resource name="RAM" quantum="4M"/> <provides> <service name="Framebuffer"/> <service name="Input"/> </provides> <config xpos="0" ypos="0" width="640" height="480"/> </start> <start name="l4android"> <resource name="RAM" quantum="512M"/> <config args="mem=128M console=ttyS0 l4x_rd=root-ginger.gz"> <block label="sda"/> </config> <route> <service name="Input"> <child name="android_fb"/> </service> <service name="Framebuffer"> <child name="android_fb"/> </service> <service name="Block"> <child name="part_blk"/> </service> <service name="Nic"> <child name="nic_bridge"/> </service> <any-service> <parent/> <any-child/> </any-service> </route> </start> </config>} install_config $config # # Boot modules # set boot_modules { core init timer nitpicker nit_fb nic_bridge terminal terminal_log fb_drv part_blk sd_card_drv gpio_drv usb_drv l4android root-ginger.gz ld.lib.so } lappend_if [have_spec x86] boot_modules nic_drv lappend_if [have_spec x86] boot_modules atapi_drv lappend_if [have_spec pci] boot_modules pci_drv lappend_if [have_spec ps2] boot_modules ps2_drv lappend_if [have_spec pl11x] boot_modules pl11x_drv lappend_if [have_spec lan9118] boot_modules nic_drv lappend_if [have_spec pl180] boot_modules sd_card_drv lappend_if [have_spec vesa] boot_modules vesa_drv if {[have_spec x86]} { set initrd_uri "http://genode.org/files/release-11.11/l4lx/root-ia32-ginger.gz" set system_uri "http://genode.org/files/release-11.11/l4lx/system-ia32-ginger.img" } elseif {[have_spec arm]} { set initrd_uri "http://genode.org/files/release-11.11/l4lx/root-arm-ginger.gz" set system_uri "http://genode.org/files/release-11.11/l4lx/system-arm-ginger.img" } if {![file exists bin/root-ginger.gz]} { puts "Download initramfs ..." exec curl $initrd_uri > bin/root-ginger.gz 2> /dev/null } if {![file exists bin/system-ginger.img]} { puts "Download system image ..." exec curl $system_uri > bin/system-ginger.img 2> /dev/null } build_boot_image [join $boot_modules " "] append qemu_args " -m 512 " append qemu_args " -serial mon:stdio " append_if [have_spec x86] qemu_args " -hda bin/system-ginger.img " append_if [have_spec x86] qemu_args " -net nic,model=e1000 " append_if [have_spec pl180] qemu_args " -drive file=bin/system-ginger.img,if=sd,cache=writeback " append_if [have_spec lan9118] qemu_args " -net nic,model=lan9118 " append qemu_args " -net user -redir tcp:5555::5555 " run_genode_until forever --------------------------------------------------------------------- This is the log: ... Genode 14.11 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 997 MB to init int main(): --- init created, waiting for exit condition --- Quota exceeded! amount=28672, size=4096, consumed=28672 [init] upgrading quota donation for Env::CPU (8192 bytes) [init -> gpio_drv] --- omap4 gpio driver --- Insufficient quota for transfer: init -> part_blk have 1564672, need 4206592 [init] not enough quota for a donation of 4206592 bytes [init -> part_blk] resource_request: ram_quota=4206592 [init -> part_blk] virtual void Genode::Platform_env::release(): used before freeing emergency=290816 [init -> part_blk] virtual void Genode::Platform_env::release(): used after freeing emergency=286720 [init] child "part_blk" requests resources: ram_quota=4206592 [init -> fb_drv] Could not open file "config" [init -> fb_drv] Could not obtain config file [init -> sd_card_drv] --- OMAP4 SD card driver --- [init -> fb_drv] int main(int, char**): using default configuration: HDMI@...311... [init -> gpio_drv] No GPIO config [init -> l4android] Booting L4Linux ... [init -> usb_drv] Services::Services(): Could not read screen resolution in config node [init -> usb_drv] Services::Services(): No <storage> config node found - not starting the USB Storage (Block) service [init -> usb_drv] Services::Services(): No <raw> config node found - not starting external USB service [init -> usb_drv] Enabled EHCI (USB 2.0) support [init -> l4android] ======> L4Linux starting... <======== [init -> l4android] Linux version 3.5.0-l4-gcea6e7a (czzcz@...306...) (gcc version 4.7.4 (GCC) ) #18 SMP Thu Mar 12 10:52:16 CST 2015 [init -> l4android] Binary name: vmlinux [init -> l4android] This is an AEABI build. [init -> l4android] Linux kernel command line (3 args): mem=128M console=ttyS0 l4x_rd=root-ginger.gz [init -> l4android] CPU mapping (l:p)[0]: Image: 01000000 - 01400000 [4096 KiB] [init -> l4android] Areas: Text: 01000000 - 0135e000 [3448kB] [init -> l4android] Data: 0135e000 - 0138b1b8 [180kB] [init -> l4android] Initdata: 01337000 - 0135c4c0 [149kB] [init -> l4android] BSS: 0138c000 - 013c96e8 [245kB] [init -> usb_drv] Using configured mac: 2e:60:90:0c:4e:01 [init -> l4android] l4io_get_root_device: Not implemented yet! [init -> l4android] Device scan: [init -> sd_card_drv] CID: 0x97009861 0x38caa862 0x44303847 0x02544d53 [init -> l4android] l4io_iterate_devices: Not implemented yet! [init -> sd_card_drv] RCA: 0x895a [init -> l4android] Device scan done. [init -> usb_drv] void platform_hcd_init(Services*): register platform device [init -> sd_card_drv] SD card detected [init -> sd_card_drv] capacity: 7600 MiB [init -> usb_drv] dev_info: EHCI Host Controller [init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1 [init -> part_blk] Partition 1: LBA 63 (144522 blocks) type: c [init -> part_blk] Partition 2: LBA 144585 (15149295 blocks) type: c [init -> part_blk] Partition 3: LBA 15293880 (257040 blocks) type: c [init -> usb_drv] dev_info: irq 109, io mem 0x4a064c00 [init -> l4android] main thread will be c [init -> l4android] l4x_register_pointer_section: addr = 01000000 size = 4194304 [init -> l4android] section-with-init: virt: 1000000 to 13fffff [4096 KiB] [init -> l4android] Cannot determine physical address for dataspace Binary! [init -> l4android] error: failed to get physical address for 1000000. [init -> l4android] Main thread running, waiting... [init -> l4android] thread=c000 cpu=0 [init -> l4android] l4x_setup_memory: Forcing superpages for main memory [init -> l4android] l4re_global_env: 0 [init -> l4android] Main memory size: 128MB unmapping of managed dataspaces not yet supported [init -> l4android] Main memory: virt: 8000000 to fffffff [131072 KiB] [init -> l4android] Main memory: Phys: 0x00000000 to 0x08000000, Size: 134217728 [init -> l4android] Filling lower ptabs... [init -> l4android] Done (0 entries). [init -> l4android] l4x_register_pointer_section: addr = 01000000 size = 4194304 [init -> l4android] text: virt: 1000000 to 13fffff [4096 KiB] [init -> l4android] Cannot determine physical address for dataspace Binary! [init -> l4android] error: failed to get physical address for 1000000. [init -> usb_drv] dev_info: USB 2.0 started, EHCI 1.00 [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1000000 [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1336fcb [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 135e000 [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 13c96e7 [init -> usb_drv] dev_info: USB hub found [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1000000 [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 13fffff [init -> l4android] l4x_rd_path: root-ginger.gz [init -> usb_drv] dev_info: 3 ports detected [init -> l4android] Loading: root-ginger.gz [init -> l4android] INITRD: Size of RAMdisk is 224KiB [init -> l4android] RAMdisk from 00005000 to 0003d000 [224KiB] [init -> l4android] l4timer: Using IRQ210 [init -> nitpicker] Could not open file "config" [init -> nitpicker] Could not obtain config file [init] l4android: no route to service "Terminal" [init -> nitpicker] create session with args: label="android_fb", ram_quota=28672 [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 12359a0 [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 12359a0 [init -> l4android] l4io_get_root_device: Not implemented yet! [init -> l4android] l4io_iterate_devices: Not implemented yet! [init -> usb_drv] dev_info: new high-speed USB device number 2 using ehci-omap [init -> android_fb] using xywh=(0,0,640,480) [init -> nic_bridge] Could not open file "config" [init -> nic_bridge] Could not obtain config file Insufficient quota for transfer: init -> nic_bridge have 1564672, need 3301376 [init] not enough quota for a donation of 3301376 bytes [init -> nic_bridge] resource_request: ram_quota=3301376 [init -> nic_bridge] virtual void Genode::Platform_env::release(): used before freeing emergency=278528 [init -> nic_bridge] virtual void Genode::Platform_env::release(): used after freeing emergency=274432 [init] child "nic_bridge" requests resources: ram_quota=3301376 [init -> usb_drv] dev_info: USB hub found [init -> usb_drv] dev_info: 5 ports detected [init -> nic_bridge] Invalid session request, no matching policy [init -> usb_drv] dev_info: new high-speed USB device number 3 using ehci-omap [init -> usb_drv] Using configured mac: 2e:60:90:0c:4e:01 [init -> usb_drv] netif_info: open: enable queueing (rx 4, tx 60) mtu 1500 simple framing [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, smsc95xx USB 2.0 Ethernet, 10c4e04M ------------------------------------------------------------------ so, 1)Is there anything wrong with my run script? What should I do to make Android run perfectly on pandaboard? 2)Is "ld.lib.so" necessary? The run script of longjks include the component, but I can't compile it successfully using this script. Best, Zachary

1 1

Fwd: Genode on iMX53 with TrustZone
by Martin Stein 16 Mar '15

16 Mar '15

-------- Forwarded Message -------- Subject: Genode on iMX53 with TrustZone Date: Thu, 12 Mar 2015 16:05:30 +0900 From: JaeminPark <jmpark81@...9...> To: martin.stein@...1... Dear, I’m writing this e-mail to ask you some questions to build and boot Genode with TrustZone into FreeScales iMX53 QSB. According to the article in https://sourceforge.net/p/genode/mailman/message/33584768/, I could build and boot (maybe) Genode in my iMX53 board. Through the serial, I only could see the log as bellow : /…/ /Starting kernel …/ / / /kernel initialized/ /Genode 15.02/ /init main() : — create local services —/ /…/ /[init -> tz_vmm] Start virtual machine…/ After this log, I could see only blinking prompt. Is this successful boot of Genode with TrustZone? If possible, can you provide me with successful log on iMX53 QSB? Furthermore, I’d like to boot guest OS (normal world OS) after booting up Genode with TrustZone. Is there any way for this? I’m looking forward to your response, and thank you very much in advance. My Best Regards, Jaemin Park Park, Jae Min Member of Engineering Staff System R&D Division, The Attached Institute of ETRI Tel : +82-42-870-4757 Mobile : +82-10-3109-2658 jmpark@...312... <mailto:jmpark@...312...>, jmpark81@...9... <mailto:jmpark81@...9...> http://jmpark81.wordpress.com/about

3 5

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users