users

users@lists.genode.org

2285 discussions

how to get the value of REV？
by Lee gary 30 Mar '15

30 Mar '15

Hi all. I know the REV(git) in the port file is hash of the current version.but i don't know how to get the value of REV？ Thanks

2 1

SD card driver for Freescale i.MX6 in Genode
by Praveen B 29 Mar '15

29 Mar '15

Dear all, We have developed a Genode device driver for USDHC card reader for Freescale i.MX6 procesor. You may find the corresponding code in the repository, https://github.com/srinivasprv/genode The specific driver code is available in usdhc directory of sd_card directory. We have tested the driver with L4Linux. The test procedure was done by copying and moving files, as large as 1GB, multiple times across different partitions of SD card. The expected behavior and actual behavior matched in all cases. Request you to review the code and offer comments. We would also like to know if this can be integrated into the next version of Genode release. Look forward to your review comments. Regards Praveen Srinivas IIT Madras

4 13

Port Genode to Samsung Exynos4
by unknown＠example.com 26 Mar '15

26 Mar '15

Hi! everyone, As a beginner,i'm a little confused about porting Genode to samsung exynos4.I found the answer about porting samsung exynos5 by Norman Feske in mailing list and used as a guideline（I use fiasco.oc as kernel\change base-hw to base-foc),but i have met a problem during compiling. I just want to know if there are some specific reasons？ The problem i'm encountering is: Command:make run/printf It exit after "genode build completed,using……"(at the last) and there is no image.elf file in the var directory. -------------------------------------------------------------------------------------------------------------------------- …… …… /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/repos/base-foc/mk/spec-foc.mk:40: warning: overriding commands for target `clean_includes' /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/repos/base-foc/mk/spec-foc.mk:40: warning: ignoring old commands for target `clean_includes' /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/repos/base-foc/mk/spec-foc.mk:43: warning: overriding commands for target `clean_contrib' /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/repos/base-foc/mk/spec-foc.mk:43: warning: ignoring old commands for target `clean_contrib' Program sigma0/l4f/sigma0 ... Building /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/fexynos4/l4/pkg/sigma0/server/src/.general.d ... Building .general.d ... Building Makefile.inc ... Compiling support.o ... Compiling ARCH-x86/crt0.o ... Compiling init.o ... Compiling memmap.o ... Compiling page_alloc.o ... Compiling mem_man.o ... Compiling io_backend.o ... Compiling init_mem.o ... Compiling ioports_x86.o ==> Linking sigma0 ==> "sigma0" built ==> Installing sigma0 to local build-tree /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/repos/base-foc/mk/spec-foc.mk:40: warning: overriding commands for target `clean_includes' /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/repos/base-foc/mk/spec-foc.mk:40: warning: ignoring old commands for target `clean_includes' /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/repos/base-foc/mk/spec-foc.mk:43: warning: overriding commands for target `clean_contrib' /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/repos/base-foc/mk/spec-foc.mk:43: warning: ignoring old commands for target `clean_contrib' Program bootstrap/bootstrap ... Building /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/fexynos4/l4/pkg/drivers-frst/include/.general.d ... Updating symlinks ... Updating symlinks ... Building /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/fexynos4/l4/pkg/drivers-frst/of/src/.general.d ... Building .general.d ... Building Makefile.inc ... Compiling of.o ==> Archiving into libdrivers_of.a ==> "libdrivers_of.a" built ==> Installing libdrivers_of.a to local build-tree ... Updating symlinks ... Building /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/fexynos4/l4/pkg/drivers-frst/uart/src/.general.d ... Building .general.d ... Building Makefile.inc ... Compiling uart_dummy.o ... Compiling uart_pl011.o ... Compiling uart_sa1000.o ... Compiling uart_pxa.o ... Compiling uart_omap35x.o ... Compiling uart_imx.o ... Compiling uart_s3c2410.o ... Compiling uart_of.o ... Compiling uart_leon3.o ... Compiling uart_dcc-v6.o ==> Archiving into libdrivers_uart.a ==> "libdrivers_uart.a" built ==> Installing libdrivers_uart.a to local build-tree ... Building /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/fexynos4/l4/pkg/bootstrap/server/src/.general.d ... Building .general.d ... Building Makefile.inc ... Generating bootstrap.ld ... Compiling exec.o ... Compiling module.o ... Compiling ARCH-x86/crt0.o ... Compiling region.o ... Compiling startup.o ... Compiling init_kip_v2.o ... Compiling init_kip_v4.o ... Compiling libc_support+.o ... Compiling patch.o ... Compiling koptions.o ... Compiling platform/x86_pc.o ... Compiling base_critical.o ... Compiling ARCH-x86/reboot.o ==> Linking bootstrap.elf ==> "bootstrap.elf" built ==> Installing bootstrap to local build-tree make[1]: Leaving directory `/home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/fexynos4' genode build completed using fiasco kernel /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/fexynos4/kernel/fiasco.oc/fiasco using sigma0/bootstrap at /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/fexynos4/l4 --------------------------------------------------------------------------------------------------------------------------- That's all,then it exit. Thanks A beginner 发自 Windows 邮件

2 1

port Genode to samsung exynos4
by unknown＠example.com 25 Mar '15

25 Mar '15

1 0

virtual box and video isolation
by Tim Newsham 24 Mar '15

24 Mar '15

Hi, I was wondering how the virtualbox implementation on top of genode/nova fares against this type of attack: https://hsmr.cc/palinopsia/ is 3d acceleration used? is there strong isolation of the video memory? -- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com

3 3

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

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users