users May 2017

users@lists.genode.org

27 participants
22 discussions

Raspberry Pi B+ with uboot and genode
by Bernhard Blieninger 24 Nov '17

24 Nov '17

Hi, I am currently working to get the raspberry pi b+ working with genode. I started with an raspberry pi uboot and a tftp server where genode.img lies on. The sd card was flashed via dd and the sd card image from here: http://wiki.beyondlogic.org/index.php?title=Compiling_uBoot_RaspberryPi For the genode image I used the newest version of genode on github and compiled a foc_rpi and an rpi with this command: ./tool/create_builddir foc_rpi BUILD_DIR=buildrpi or that ./tool/create_builddir rpi BUILD_DIR=./build-rpi and the command make run/demo This is working with the Raspberry Pi B(!) but when i put the sd card in the Raspberry Pi B +(!) it is not even booting. Therefore i prepared a sd card with raspbian and changed the kernel.img with the newly compiled u-boot.bin from http://git.denx.de/u-boot.git The sd card now boots again and shows u-boot but if I want to load genode.img it does not continue. If genode is loaded, for example by manually triggering it with bootz, the serial connected minicom screen shows encoding problem nonsense. Starting up a linux kernel works. If I start genode.img directly from the sd card it is not working either. If I try this sd card with the Raspberry Pi B(!) it is not working. What I have tested in a last step is, what happens if I substitute the u-boot.bin with the genode.img while using the sd card image that was provided by beyondlogic in the first place, this is working for the B model but not for the B +. Also tried a fresh sd card format it to fat16 and put all the stuff on it, which is in the boot folder from https://github.com/raspberrypi/firmware , but that is also not working. So I assume, that either the bootcode.bin and/or start.elf provided by raspberry are too new to use them with genode. I could maybe find older versions but I would just like to ask if this will help, maybe genode was never (meant to) run with some raspberry boot code that is newer then 2013.11 (http://genode.org/documentation/release-notes/13.11#Raspberry_Pi). Thanks in Advance for your help. Best Regards, Bernhard.

6 8

foc_odroid_x2 with tftp boot via uboot on odroid u3
by Bernhard Blieninger 22 Nov '17

22 Nov '17

Hi guys, we are trying to get genode running on an odroid u3 which should be quite similar to the foc_odroid_x2. I followed the instructions from here: http://odroid.com/dokuwiki/doku.php?id=en:u3_building_u-boot and here: http://forum.odroid.com/viewtopic.php?f=82&t=9128 And i used the newest version of u-boot from hardkernel here: https://github.com/hardkernel/u-boot/tree/odroid-v2015.10 I wanted to use tftp boot so and did not really know how to start at first place, so i picked up the ubuntu image from here: http://odroid.com/dokuwiki/doku.php?id=en:u3_release_linux_ubuntu and copied it via dd to the sd card. Then I just let the sd_fuse script from the first link overwrite the bootcode on the sdcard. And wrote into the boot.txt at the first partition the bootcode which it should execute, in my case something like this: |setenv ethact sms0| |setenv ethaddr 00:10:75:2A:AE:E0| |setenv gatewayip 192.168.4.1| |setenv netmask 255.255.255.0| |setenv serverip 192.168.4.2| |setenv usbethaddr 00:10:75:2A:AE:E0| |setenv ipaddr 192.168.4.43| || |usb start| |tftp 0x70000000 odroid/uImage| |bootm| | |Where uImage is the uImage created from the foc_odroid build. Then I used ||| | ||mkimage -A arm -C none -T script -n 'Custom Boot Script' -d boot.txt boot.scr|| |||| || ||to build the boot.scr and booted the odroid u3.|| || Problem now is that is says something like: || *ERROR: booting os 'Unknown OS' (3) is not supported* Where 3 means something like Checksum OK as the uboot manual states. Now I took the zImage from the ubuntu on the sd card and converted it to a uImage with the mkimage program. Put both on the tftp server and changed the boot.txt accordingly. If i select zImage the ubuntu kernel boots up and gets a kernel panic, if i select uImage(now from Ubuntu) i get the same unknown OS error. Does someone have similar issues and can tell me how to fix it? Is it even possible to use the foc_odroid_x2 on u3, they share the same hardware so it should be? Thanks in advance. Best regards, Bernhard.| | -- Bernhard Blieninger, B.Sc. Technische Universität München Fakultät für Informatik Lehrstuhl für Betriebssysteme Boltzmannstraße 3 85748 Garching Tel. +49 89 289 18795 Fax +49 89 289 18557 bliening@...389... www.os.in.tum.de

6 14

Restoring child with checkpointed state
by Denis Huber 15 Nov '17

15 Nov '17

Dear Genode community, thanks to you [1], I could implement my Checkpoint/Restore mechanism on Genode/Fiasco.OC. I also added the incremental checkpoint optimization, to stored only changed memory regions compared to the last checkpoint (although this is not working reliably due to a Fiasco.OC bug, which Stefan Kalkowski found for me [2]). I also managed to checkpoint the capability map and restore it with new badges and insert missing capabilities into the capability space of Fiasco.OC. [1] https://sourceforge.net/p/genode/mailman/message/35322604/ [2] https://sourceforge.net/p/genode/mailman/message/35377269/ My problem is, although I restore all RPC objects, especially the instruction and stack pointer of the main thread, and the capability map and space, the target component just starts its execution from the beginning of its Component::construct function. My approach: For the restore phase, I use Genode's native bootstrap mechanism (i.e. I create a Genode::Child object) until it requests a LOG session from my Checkpoint/Restore component. I force a LOG session request in ::Constructor_component::construct() just before "Genode::call_component_construct(env);" in https://github.com/genodelabs/genode/blob/16.08/repos/base/src/lib/base/ent… Until the session request several RAM dataspaces are created, among other RPC objects, and attached to the address space. In my restore mechanism I identify the RPC objects, which were created by the bootstrap/startup mechanism, and only restore their state. After that point, I recreate and restore the state of all other RPC objects which are known by the child component. At last, I restore the capability map and space. During that process the mandatory CPU threads are identified (three of them: "ep", "signal_handler", and "childs_rom_name") and restored to their checkpointed state, especially the ip and sp registers. I did that through the use of Cpu_thread::state(Thread_state), but without luck. Also, although I know that the CPU threads were already started, I tried to call Cpu_thread::start(ip, sp), but without success. After the restoration which happens entirely during the LOG session request of the child, my component returns with a valid session object to the child. Now the child should continue the work from the point where it was checkpointed, but it continues its execution right after the LOG session request, ignoring the setting of the instruction pointer. The source code of the restore CPU thread state is found in [3]. I used run script [4] for the tests. [3] https://github.com/702nADOS/genode-CheckpointRestore-SharedMemory/blob/660a… [4] https://github.com/702nADOS/genode-CheckpointRestore-SharedMemory/blob/660a… Curiously, the child runs just as nothing happened, although its stack area was also manipulated. Perhaps my approach by reusing the bootstrap/startup mechanism is not destined to work, or maybe I have missed some important points in this mechanism. If so, please point me to the problem. I would also consider other restoration approaches, for example, by recreating all RPC objects manually and insert them into the capability map/space. What are your thoughts on my approach? Can it work? Does something else work better? Kind regards, Denis

4 19

Genode on i.MX6Q Sabre Lite
by Yevgeny Lavrov 19 Jun '17

19 Jun '17

Hello Is there anything from Genode that I can try on i.MX6Q Sabre Lite development board? So far I've already attempted *log* image that I've obtained from compiling Genode for i.MX6 based Wandboard. The fastboot option that gets executed after *$ make run/log *resulted in nothing, so I've also tried to copy the created images onto SD Card and run them directly on the board. Steps: Once in u-boot prompt => fatload mmc 0 0x30000000 image.elf reading image.elf 1716880 bytes read in 107 ms (15.3 MiB/s) => bootelf 0x30000000 ## Starting application at 0x10001000 ... Then the terminal hangs w/o any output. Same thing happens when executing uImage => fatload mmc 0 0x30000000 uImage reading uImage 594679 bytes read in 48 ms (11.8 MiB/s) => bootm 0x30000000 Terminal hangs once it reaches: Starting kernel ... Any suggestions on what's wrong? Thank you

7 22

Mosquitto library ported to Genode
by Alexander Weidinger 16 Jun '17

16 Jun '17

Hello, we successfully ported the mosquitto *library* to Genode (we used version 15.05 and 16.08 for testing), which may be interesting for some on the mailing list - it is a library, implementing the MQTT protocol. https://github.com/argos-research/genode/pull/12 Every option is enabled apart from 'WITH_SRV' which would enable SRV lookup support. We didn't test the SSL support, but it is linked and compiled into the library. Additionally a simple publisher application is implemented (mpct), which publishes to a given server a hello world message with an increasing iterator and makes use of the callback functionality. One point which took a huge amount of time to find, was that 'lwip_tcpip_init()' function leads to freezes for us (https://github.com/argos-research/genode/pull/12/files#diff-48dce339109d626…). On real hardware (pandaboard / raspberry pi) it freezes before even receiving an ip address and on the pbxa9 qemu instance it froze after publishing a few messages, leading to the error message 'Assertion "tcp_write: pbufs on queue => at least one queue non-empty"'. To work around this, by simply removing it, everything seems to work and we are not exactly sure why, maybe someone can explain it to us? Regards, Alexander

3 4

Genode OS Framework version 17.05 released
by Norman Feske 06 Jun '17

06 Jun '17

We just released the version 17.05 of the Genode OS Framework. According to our road map, this version is designated as a suitable basis for development branches to be maintained over a longer period of time. With this goal in mind, the release cycle was focused on wrapping up our great API renovation that we started of year ago, and on updating fundamental parts of the framework that we want to keep stable in the foreseeable future. But the release is also rich of interesting new features and improvements, just to name a few highlights: - New approach and tools for package management - Updated revision of the "Genode Foundations" book - Completion of Genode's API modernization - GNU compiler collection (GCC) 6.3 including Ada support - Qt5 updated to version 5.8 - Feature-complete VirtualBox 5.1.22 for NOVA - Nim programming language - Interpolated wall-clock times - New network-traffic and CPU-time monitoring tools - Muen separation kernel updated to latest version The official release documentation covers these and many more topic in great detail: http://genode.org/documentation/release-notes/17.05 Have fun with exploring the new release! 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

3 5

Data-abort exception while trying to boot skalk/linux imx-53 branch with genode trustzone
by Abhishek Kumar 06 Jun '17

06 Jun '17

Hello I am trying to run linux in normal world on genode trustzone. I have changed the run-script of genode to copy the uImage generated from skalk/linux's imx-53 branch instead of downloading (default). I am making uImage with following command: make uImage LOADADDR=0x70010000 while executing, genode stops after starting virtual machine with following error trace: ``` . . [init] child "tz_vmm" [init] RAM quota: 10203136 [init] ELF binary: tz_vmm [init] priority: 0 [init -> tz_vmm] Start virtual machine ... [init -> tz_vmm] Cpu state: [init -> tz_vmm] Register Virt Phys [init -> tz_vmm] --------------------------------- [init -> tz_vmm] r0 = 07000000 [00000000] [init -> tz_vmm] r1 = f801ff50 [00000000] [init -> tz_vmm] r2 = ffffffe4 [00000000] [init -> tz_vmm] r3 = 40002000 [00000000] [init -> tz_vmm] r4 = 00000000 [00000000] [init -> tz_vmm] r5 = 00000000 [00000000] [init -> tz_vmm] r6 = 000000ee [00000000] [init -> tz_vmm] r7 = 00000000 [00000000] [init -> tz_vmm] r8 = 00000000 [00000000] [init -> tz_vmm] r9 = 00000000 [00000000] [init -> tz_vmm] r10 = 00000000 [00000000] [init -> tz_vmm] r11 = 00000000 [00000000] [init -> tz_vmm] r12 = 00000000 [00000000] [init -> tz_vmm] sp = 00000000 [00000000] [init -> tz_vmm] lr = 00000000 [00000000] [init -> tz_vmm] ip = 0040dfe8 [00000000] [init -> tz_vmm] cpsr = 60000093 [init -> tz_vmm] sp_und = 00000000 [00000000] [init -> tz_vmm] lr_und = 8000800c [00000000] [init -> tz_vmm] spsr_und = 00000093 [00000000] [init -> tz_vmm] sp_svc = f801ff4c [00000000] [init -> tz_vmm] lr_svc = 0040bc97 [00000000] [init -> tz_vmm] spsr_svc = 00000000 [00000000] [init -> tz_vmm] sp_abt = 00000000 [00000000] [init -> tz_vmm] lr_abt = 00000000 [00000000] [init -> tz_vmm] spsr_abt = 00000000 [00000000] [init -> tz_vmm] sp_irq = 00000000 [00000000] [init -> tz_vmm] lr_irq = 00000000 [00000000] [init -> tz_vmm] spsr_irq = 00000000 [00000000] [init -> tz_vmm] sp_fiq = 00000000 [00000000] [init -> tz_vmm] lr_fiq = 00000000 [00000000] [init -> tz_vmm] spsr_fiq = 00000000 [00000000] [init -> tz_vmm] ttbr0 = 00000000 [init -> tz_vmm] ttbr1 = 00000000 [init -> tz_vmm] ttbrc = 00000000 [init -> tz_vmm] dfar = 07000000 [00000000] [init -> tz_vmm] exception = data_abort [init -> tz_vmm] Could not handle data-abort will exit! ``` Initially I thought I might be giving wrong load address while making uImage, but it seems problem is not that. Can someone help me with what might be possibly going wrong? Thanks Abhishek

3 6

Re: Genode OS Framework version 17.05 released
by Nobody III 01 Jun '17

01 Jun '17

With this new release, can init provide child services to its siblings, or just to its children? On May 31, 2017 8:59 AM, "Norman Feske" <norman.feske@...1...> wrote: We just released the version 17.05 of the Genode OS Framework. According to our road map, this version is designated as a suitable basis for development branches to be maintained over a longer period of time. With this goal in mind, the release cycle was focused on wrapping up our great API renovation that we started of year ago, and on updating fundamental parts of the framework that we want to keep stable in the foreseeable future. But the release is also rich of interesting new features and improvements, just to name a few highlights: - New approach and tools for package management - Updated revision of the "Genode Foundations" book - Completion of Genode's API modernization - GNU compiler collection (GCC) 6.3 including Ada support - Qt5 updated to version 5.8 - Feature-complete VirtualBox 5.1.22 for NOVA - Nim programming language - Interpolated wall-clock times - New network-traffic and CPU-time monitoring tools - Muen separation kernel updated to latest version The official release documentation covers these and many more topic in great detail: http://genode.org/documentation/release-notes/17.05 Have fun with exploring the new release! 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 ------------------------------------------------------------ ------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main(a)lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main

2 1

Re: Golang on Genode: a follow-up
by Rolf Sommerhalder 31 May '17

31 May '17

Hello, At GopherCon 2016 [1, 2], Bernerd Schaefer presented AtmanOS [3, 4] which cross-compiles Go programs so that they interface/run directly on Xen hypervisor, e.g. as hypervisor-aware Unikernels, without requiring a Guest OS on virtualised environments. According to Bernerd, AtmanOS provides a microkernel, an implementation of Go's runtime, and standard library, all implemented natively in Go (3000 lines) with a little bit of Assembly (150 lines). >From AtmanOS' repo, I noticed that they have recently updated it's bootstrap code to the latest version of Go 1.8.1, so the project is still active. After following the threads about Golang on Genode and reviewing AtmanOS, I suspect that AtmanOS could facilitate bringing Go to Genode, for example by making AtmanOS target Virtualbox in addition to Xen (maybe not so elegant), or by adapting/replacing AtmanOS' microkernel with Genode, and porting the Go runtime, standard library and system packages that AtmanOS wrote in Go for Xen or its own microkernel, respectively (maybe preferable over Virtualbox). Am I reading too much into it? Would it be worth diving deeper into AtmanOS' sources? Any thoughts, comments? Thanks, Rolf [1] https://www.youtube.com/watch?v=F2Ls6xZdSrE [2] https://atmanos.org/talks/go-without-the-os-gophercon-2016 [3] https://atmanos.org/ [4] https://github.com/atmanos/atmanos

3 2

Query regarding Genode trustzone
by Abhishek Kumar 31 May '17

31 May '17

Hello I am trying to run genode's trustzone on imx53 board. AFAIU, it starts with "init" which then sets up `vmm` and calls `vmm.start()`, which should load my kernel in normal world. And kernel in normal world uses vmm as proxy to talk to the secure world. Am I correct? If so, where can I find the piece of code which tries to load the normal world linux, like some stub or something. For normal world linux I;m using uImage of skalk's linux <https://github.com/skalk/linux>. Thanks Abhishek

2 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users May 2017