users March 2015

users@lists.genode.org

31 participants
33 discussions

How to run two_linux_panda
by Zachary 05 Mar '15

05 Mar '15

Hi all, I am interested in the work of Genode about muti_linux on pandaboard[1]. So, I downloaded the image from that page, and run it correctly. I try to build it by myself but get some troubles. Firstly, there is no two_linux_panda.run script in the latest release of Genode, so I got one form genode 12.08. In order to build it , I changed 'omap4_fb' to 'fb_drv', and delete 'lib_log.lib.so'(The building log says can't find it). After that, I got an image.elf and run it on pandaboard, but it can't not work well. This is the log of UART output: ... Genode 14.11 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 989 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) Quota exceeded! amount=36864, size=4096, consumed=36864 [init] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=45056, size=4096, consumed=45056 [init] upgrading quota donation for Env::CPU (8192 bytes) [init -> sd_card_drv] --- OMAP4 SD card driver --- [init -> nic_bridge] Could not open file "config" [init -> nic_bridge] Could not obtain config file [init -> blocktest_term] int main(int, char**): --- terminal service started --- 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 8 [init -> nic_bridge] virtual void Genode::Platform_env::release(): used after f2 [init] child "nic_bridge" requests resources: ram_quota=3301376 [init -> fb_drv] Could not open file "config" [init -> fb_drv] Could not obtain config file [init -> http_term] int main(int, char**): --- terminal service started --- 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 fr6 [init -> fb_drv] int main(int, char**): using default configuration: HDMI@...305... [init -> part_blk] virtual void Genode::Platform_env::release(): used after fre0 [init] child "part_blk" requests resources: ram_quota=4206592 [init -> vmlinux.1] Booting L4Linux ... [init -> vmlinux.1] ======> L4Linux starting... <======== [init -> vmlinux.1] Linux version 3.9.0-l4-gf2eebae (czzcz@...306...) (gcc5 [init -> vmlinux.1] Binary name: vmlinux [init -> vmlinux.1] This is an AEABI build. [init -> vmlinux.1] Linux kernel command line (2 args): mem=54M l4x_rd=initrd.gz [init -> vmlinux.1] CPU mapping (l:p)[0]: Image: 02000000 - 02500000 [5120 KiB]. [init -> vmlinux.1] Areas: Text: 02000000 - 023dc000 [3952kB] (a bit longer) [init -> vmlinux.1] Data: 023dc000 - 024091b8 [180kB] [init -> vmlinux.1] Initdata: 023b4000 - 023da9c0 [154kB] [init -> vmlinux.1] BSS: 0240a000 - 02446de8 [243kB] [init -> vmlinux.2] Booting L4Linux ... [init -> usb_drv] Services::Services(): Could not read screen resolution in cone [init -> usb_drv] Services::Services(): No <storage> config node found - not ste [init -> usb_drv] Services::Services(): No <raw> config node found - not startie [init -> usb_drv] Warning: No USB controllers enabled. [init -> usb_drv] Use <config (u/e/x)hci="yes"> in your 'usb_drv' configuration [init -> sd_card_drv] CID: 0x97009861 0x38caa862 0x44303847 0x02544d53 [init -> sd_card_drv] RCA: 0x895a [init -> vmlinux.2] ======> L4Linux starting... <======== [init -> vmlinux.2] Linux version 3.9.0-l4-gf2eebae (czzcz@...306...) (gcc5 [init -> vmlinux.2] Binary name: vmlinux [init -> vmlinux.2] This is an AEABI build. [init -> vmlinux.2] Linux kernel command line (2 args): mem=54M l4x_rd=initrd.gz [init -> sd_card_drv] SD card detected [init -> sd_card_drv] capacity: 7600 MiB [init -> vmlinux.2] CPU mapping (l:p)[0]: Image: 02000000 - 02500000 [5120 KiB]. [init -> vmlinux.2] Areas: Text: 02000000 - 023dc000 [3952kB] (a bit longer) [init -> vmlinux.2] Data: 023dc000 - 024091b8 [180kB] [init -> vmlinux.2] Initdata: 023b4000 - 023da9c0 [154kB] [init -> vmlinux.2] BSS: 0240a000 - 02446de8 [243kB] [init -> part_blk] Partition 1: LBA 62 (78058 blocks) type: c [init -> part_blk] Partition 2: LBA 78120 (46872 blocks) type: c [init -> part_blk] Partition 3: LBA 124992 (46872 blocks) type: c [init -> nitpicker] Could not open file "config" [init -> nitpicker] Could not obtain config file [init -> nitpicker] create session with args: label="linux.1", ram_quota=28672 [init -> nitpicker] create session with args: label="linux.2", ram_quota=28672 [init -> nitpicker] create session with args: label="http_fb", ram_quota=28672 [init -> nitpicker] create session with args: label="blocktest_fb", ram_quota=22 [init -> linux.1] using xywh=(1,1,510,382) [init -> linux.2] using xywh=(513,513,510,382) [init -> http_fb] using xywh=(1,1,510,376) [init -> blocktest_fb] using xywh=(513,513,510,376) [init -> http_term] Could not open file "config" [init -> http_term] Could not obtain config file [init -> blocktest_term] Could not open file "config" [init -> blocktest_term] Could not obtain config file [init -> http_term] cell size is 8x16 [init -> blocktest_term] cell size is 8x16 [init -> http_term] create terminal session [init -> blocktest_term] create terminal session [init -> http_term] new terminal session: [init -> http_term] framebuffer has 510x376 pixels [init -> http_term] character size is 8x16 pixels [init -> http_term] terminal size is 63x23 characters [init -> blocktest_term] new terminal session: [init -> blocktest_term] framebuffer has 510x376 pixels [init -> blocktest_term] character size is 8x16 pixels [init -> blocktest_term] terminal size is 63x23 characters [init -> nic_bridge] Invalid session request, no matching policy [init -> vmlinux.1] l4io_get_root_device: Not implemented yet! [init -> vmlinux.1] Device scan: [init -> vmlinux.1] l4io_iterate_devices: Not implemented yet! [init -> vmlinux.1] Device scan done. [init -> vmlinux.2] l4io_get_root_device: Not implemented yet! [init -> vmlinux.2] Device scan: [init -> vmlinux.2] l4io_iterate_devices: Not implemented yet! [init -> vmlinux.2] Device scan done. [init] vmlinux.1: no route to service "Timer" [init -> vmlinux.1] C++ runtime: Genode::Parent::Service_denied [init] vmlinux.2: no route to service "Timer" [init -> vmlinux.1] void* abort(): abort called [init -> vmlinux.2] C++ runtime: Genode::Parent::Service_denied [init -> vmlinux.2] void* abort(): abort called [init] virtual void Genode::Child_policy::exit(int): child "test-libc_ffat" exi1 [init] virtual void Genode::Child_policy::exit(int): child "test-lwip_httpsrv" 1 -------------------------------------------------------------- Only test-lwip_httpssrv shows on the The HDMI moniter, and it says : [test-lwip_httpssrv] Could not open file "config" [test-lwip_httpssrv] Could not obtain config file [test-lwip_httpssrv] no VFS configured [test-lwip_httpssrv] DHCP timed out [test-lwip_httpssrv] We got no IP address! I want to ask: 1. What is 'lib_log.lib.so'? Can I delete it? 2. Is there a document about configuration of run script? 3. How to run the two_linux_panda correctly? Best, Zachary [1] http://genode.org/documentation/articles/pandaboard

2 5

implementation of dummies methods
by Mohammad Hamad 02 Mar '15

02 Mar '15

Hi all, in libc/src/lib/libc there is Dummies.cc file which contains many methods.Actually i am trying to port ISAKMP which use most of them ( such as fork, getuid ,socketpair, sendmsg and etc) . i was able to compile it but i face many no implementation for " method" message , so I think i need to implement all these methods, am i right ?! from where i should start, should i use new libc plugin or i should implement them in specific places. thank you in advance . best,

4 6

TZ support without NDA
by Madhu (Macaque Labs) 02 Mar '15

02 Mar '15

Who are the ARM cpu vendors who publish their trust zone support ? I know Freescale does, know for a fact Qualcomm does not ! Mediatek ? Trying to do a virtualized android tablet distribution. Can we have a genode sub project on this. I am sure, others would be interested. Also attempting a port of bionic on genode. First hack is done, doing so excited testing. If this works, then genode on genode virtualization might suffice. Using Freescale currently but it is A9, so has no VT support and power usage is on the higher side. I see a couple of Samsung exynos boards on the support list, I think both are a15 based cores. So does that mean we can hack a galazy tab or a high end galaxy s phone to run genode ? Has to be the wifi or the Asian version. Both run Exynos. US 3g/lte variants typically run snapdragon though I believe that is changing with the new s6. would be nice to have a cortex a 53/57 device though. I have also asked AMD for details on their new Carrizo processor. this is a multi core x86 with a cortex ax supposedly running trustzone. Wanr to try a virtualize Ubuntu on this with security modules secured through tz. Our own open source Shakti processor based on RiscV is getting its TZ support but it will be at least end of the year before we can release it on fpga. Student code takes to ensure to clean up ! Also riscv mmu slecture is not available yet. The UCB rocket processor is ready but some one has to hack TZ into it.

3 4

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users March 2015