users July 2017

users@lists.genode.org

16 participants
17 discussions

lwip and seL4
by Steven Harp 01 Aug '17

01 Aug '17

Observed a problem testing lwip under seL4 (run/lwip). This succeeds with kernels okl4, foc, and nova, but under seL4 there are complaints from acpi_drv (see below). The "Error: I/O memory [1ffe1000,1ffe2000) not available" seems most concerning. Build architecture is x86_32, relying on drivers dde_ipxe, testing in qemu on Xenial. Theories / workarounds (seL4)? // Steve > [init -> nic_drv] --- iPXE NIC driver started --- > [init -> nic_drv] -- init iPXE NIC > [init -> acpi_drv] Error: ROM-session creation failed (ram_quota=6144, cap_quota=3, label="platform_info") > [init -> acpi_drv] Error: Could not open ROM session for "platform_info" > [init] child "timer" announces service "Timer" > [init] child "acpi_report_rom" announces service "Report" > Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x10 > [init] child "acpi_report_rom" announces service "ROM" > Error: I/O memory [1ffe1000,1ffe2000) not available > Error: Local MMIO mapping failed! > [init -> acpi_drv] Error: IO_MEM-session creation failed (cap_quota=3, ram_quota=6K, base=0x1ffe1000, size=0x1000, wc=no) > [init -> acpi_drv] Warning: 1 dangling allocation at allocator destruction time > Warning: unmapping of managed dataspaces not yet supported > [init -> acpi_drv] Error: Unknown exception occured - failure > [init -> acpi_drv] Error: __cxa_guard_abort called > Kernel: Thread 'ep' died because of an uncaught exception > [init -> acpi_drv] Error: Uncaught exception of type 'Genode::Service_denied' > [init -> acpi_drv] Warning: abort called - thread: ep > [init] child "acpi_drv" exited with exit value 1 > Error: Test execution timed out > Makefile:309: recipe for target 'run/lwip' failed

2 2

Celebrate Genode's 9th anniversary with us!
by Norman Feske 31 Jul '17

31 Jul '17

Dear Genode community, to continue our tradition of celebrating our accomplishments in the form of a seasonal barbecue and camp fire, we invite Genode's friends and community to the banks of the river Elbe in Dresden/Germany. Unlike previous years, which were focused on technical breakthroughs, the leitmotif of the past year was Genode's long-term sustainability, maturity, and scalability. On that account, we streamlined key infra- structure (such as the VFS), and profoundly revisited the framework's architectural foundations and lowest-level protocols. This line of development eventually culminated in the application-binary compatibility across kernels as different as seL4, NOVA, or Linux. The practiced continuity of development was underlined by the third edition of the "Genode Foundations" book. With regard to Genode's role within the open-source community, we had the honor of hosting the microkernel devroom at this year's FOSDEM, and are very happy about the fruitful relationships with sister projects like the Muen separation kernel and the seL4 microkernel community. Business-wise, we are delighted about the growing use of Genode in commercial products, and about Genode's role as the technological basis for entirely new ventures, pursued independent from our company. Let us meet together to celebrate the past, present, and future of our project, and enjoy the get-together of the Genode team and collaborators. We will hold the anniversary party at the river bank of the Elbe: Google Maps: http://goo.gl/maps/C0luj 31st of August, 6 pm near Eisenberger Strasse in Dresden Enjoy the atmosphere at the river bank with tasty barbecue of vegetarian and non-vegetarian food, and a nice selection of beverages! If you are going to attend, please let us know by writing a short note to: info@...1... 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

1 0

Networking Support in VirtualBox
by Chris Rothrock 27 Jul '17

27 Jul '17

I'm working with the VirtualBox run recipe where I have set use_net 1, added the repositories for dde_linux and dde_ipxe for the NIC driver. The build runs successfully and I can boot to the 2 virtual machines (I have one as TinyCore and one as DSL - Damn Small Linux) and interact with the OS's but there is no network adapter detected. To resolve this, I set the Adapter 0 to enabled in the test.vbox file but when I do this, I no longer get any video within the frame for the virtual machine (not even the bootloader for that frame). I have tried increasing the cap for the virtualbox module in the virtualbox.run recipe but still have nothing. I need to be able to test network communication between the two virtual machines (and to the wider network on which they are attached) but this is preventing me from this process. Any help in this would be greatly appreciated. -- Thank You, Chris Rothrock Senior System Administrator (315) 308-1637

4 19

Genode 17.05 dde_rump ISO filesystem
by Steven Harp 26 Jul '17

26 Jul '17

Hi: While evaluating file system alternatives, I ran some tests of the dde_rump file system code (Genode 17.05 master/HEAD on Ubuntu 16.04 / x86_64). The EXT2 and FAT file system tests work as expected (although the latter benefited from a <default caps="256">). The ISO file system however left me a puzzle (trace below; default caps line added to run file.) The same results appear under builds x86_{32,64} x KERNEL={linux,nova}. Any ideas regarding what might be going wrong? The prepared test image fs.iso appears to have the intended file "test.txt" on it. Best, Steve > > make run/rump_iso > ... > [init] child "rom_blk" announces service "Block" > [init] child "timer" announces service "Timer" > [init -> rom_blk] Using file=fs.iso as device with block size 2048. > [init -> rump_fs] Using cd9660 as file system > [init -> rump_fs] RUMP ver: 17 > [init -> rump_fs] RUMP_THREADS > [init -> rump_fs] RUMP_VERBOSE > [init -> rump_fs] _RUMPUSER_NCPU > [init -> rump_fs] RUMP_MEMLIMIT > [init -> rump_fs] asserting rump kernel 4064 KB of RAM > [init -> rump_fs] BOOTSTRAP > [init -> rump_fs] RUMP_NVNODES > [init -> rump_fs] RUMP_BLKFAIL > [init -> rump_fs] RUMP_BLKSECTSHIFT > [init -> rump_fs] RUMP_MODULEBASE > [init -> rump_fs] _RUMPUSER_HOSTNAME > [init] child "rump_fs" announces service "File_system" > [init] child "fs_rom" announces service "ROM" > [init -> fs_rom] request for test-iso > [init -> fs_rom] Error: /test-iso: lookup_failed > [init -> fs_rom] request for ld.lib.so > [init -> fs_rom] Error: /ld.lib.so: lookup_failed > [init -> fs_rom] Error: /ld.lib.so: lookup_failed > [init -> fs_rom] Error: /ld.lib.so: lookup_failed > [init -> fs_rom] Error: /test-iso: lookup_failed > [init -> fs_rom] Error: /test-iso: lookup_failed > ... > (timeout)

2 2

Using Genode 17.05 with Fiasco.OC
by Jörg-Christian Böhme 26 Jul '17

26 Jul '17

Hello, first, thanks for your effort guys. I'm very glad to see that a microkernel architecture/framework is exists in C++ :-) A short description about me: I'm C++ enthusiasts (C++ User Group Duesseldorf and Meeting C++ stuff member) and also very interested about operating systems. I pay attention to security feature. For some year, Blackberry announced that they discontinued BB10. I was very disappointed about that because BB10 is developed in Qt/C++ and focuses in security because they based on a microkernel architecture from QNX as operating system. After the announcement from Blackberry, I was thinking about to write a microkernel architecture in C++ but I checked if they exists a microkernel architecture in C++ and I was very happy about that they really exists. I started first with Fiasco.OC but I found out that in Genode it uses the new C++ Standard so here I'm :-) I started a month ago with Gnode hello tutorial and play around with them. Therefore, I call myself a newbie :-) But at the end, I will use Genode on my laptop (like turmvilla example) and start to develop some application on it :-). But first, I think about to start with a small server. The host provider that I use, use a QEMU with KVM enable as virtual server. So it is not possilbe to use NOVA on it because of the KVM enabled featuer (I think) but Fiasco.OC works. The problem: So I try to build/create a image from the lighttpd example with Fiasco.OC kernel. The image started but the lighttpd does not work. Also the hello tutorial with Fiasco.OC does not work anymore. I checked the issue tracker on github but I didn't find any issue about that. What I figure out: - Hello tutorial When I increase in the hello tutorial the "default caps" from 50 to 54 in the config, then the tutorial is working with Fiasco.OC kernel. - lighttpd Here I must first "move" the timer service in the config (see my commit on github [1]) then it works with the NOVA kernel. With Fiasco.OC I get following error: Error: nic_drv -> : environment ROM session denied (label="device_pd", ram_quota=6144, cap_quota=3, diag=0) I try to add "device_pd" in the boot modules because it is missing in the rom fs but device_pd is not compile for the Fiasco.OC, only for NOVA. I found out following in: genode-src/repos/os/src/drivers/platform/spec/x86/device_pd/target.mk It looks like device_pd is only build for NOVA. Is this a known issue or somebody working on it ? Or works the lighttpd example with Fiasco.OC kernel for anyone ? If you still need additional infos, let me know. Regards, Jörg [1] https://github.com/Bjoe/genode/commit/8522e1b06c62e33988a03c5f308f16fad5250…

2 3

Writing to UART mapped memory address
by Abhishek Kumar 24 Jul '17

24 Jul '17

Hello I am running trustzone Genode, with linux in normal world. I have made UART secure and I'm getting the fault address in DFAR register in dump in VM monitor. I want to write to a memory address which is mapped to UART i.e. physical address is in range [53FBC000, 53FFFFFF]. I am getting following error when I try to access the address: ``` no RM attachment (faulter 203128 with IP 7001e7d0 attempts to read from address 53fbc080) init -> tz_vmm -> vmm: unresolved pagefault at ip=7001e7d0 sp=e01fed10 fault address=53fbc080 core -> pager_ep: cannot submit unknown signal context ``` I'm using va_to_pa to get the physical address. I'm not sure how Genode maps the virtual addresses to I/O mapped physical region, or how can I write to UART mapped physical address? Thanks Abhishek

3 10

Re: Genode on i.MX6
by Alexander Boettcher 07 Jul '17

07 Jul '17

Hi Hinnerk and Yevgeny, On 06.07.2017 03:06, Hinnerk van Bruinehsen wrote: > On Wed, Jul 05, 2017 at 12:43:29PM +0200, Alexander Boettcher wrote: >> Thanks to your work I could get the tool integrated into the run tool >> infrastructure of Genode in within one day. And the best, it boots and I >> get the serial life sign of Genode/seL4 on ARM. > nice to hear thank it helps. I guess the next step will be to split out > the x86 specific code from the generic parts and implement arm specific > stuff. this is now done, see the issue 2451 [0] and the referenced branch. > Let me know if I can help. I'm kind of fiddling around with this for > quite a while now. You may now try to re-add your desired board. In theory you should just add some *.mk files at the right places, some minor patches to the autoconfig.h, but without actually changing (hopefully) the code of 'core' on Genode/seL4. I'm interested to hear from you, whether my assumption is right in that regard. Cheers, Alex. [0] https://github.com/genodelabs/genode/issues/2451 -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users July 2017