users May 2019

users@lists.genode.org

13 participants
13 discussions

Genode on RPI - end of discovery stage
by Tomasz Gajewski 11 Jun '19

11 Jun '19

Hi everyone, I'd like to share with you information that finally I've managed to find out what was the reason of problems with networking on rpi 3b+ which I implemented (with help mostly from Stefan) during Hack'n'Hike. The important thing that we didn't notice during Hack'n'Hike was that packages that we were able to receive only broadcast messages, so only arp packets were received. That led me to debugging code that was supposed to set MAC address in the driver and after some digging I found in [1] information about a bug (later fixed) in this linux driver that caused not setting MAC address properly in some situations. Applying a change from this patch allowed to have usb_net test working. In the meantime I've checked that usb_block test also works (although seems to be quite slow) so I think I have generally working the most important devices to start again from the start and polish my work and try to prepare it for inclusion Genode repositories (probably I'll wait for a release). My current plan is to work on supporting with base-hw: - rpi3b+ 32bit - as 64bit support is not yet ready and 32bit version does not restrict using of this device - rpi2b - this one is armv7 so 32bit architecture and with regard to devices it is somewhere between rpi1 and rpi3b+ After discussion with Stefan during Hack'n'Hike I plan to move as much as possible of support for above versions to genode-world repository as Genode Labs plans to support in main genode repository and test: old rpi and new rpi3b (without +) 64bit. One thing I'd like to get some acceptance is a naming scheme for those SOCs/configurations. Especially for the 32 and 64 bit versions for one SOC. Will it be ok to have following naming for boards? - rpi3bplus32 (running 32 bit) - rpi3bplus (later; running native for armv8 64 bit instructions) - rpi2b - rpi3b - version that you have and plan to support Cheers Tomasz [1] https://lkml.org/lkml/2018/11/7/860

2 4

Empty inline files in vfs
by Stefan Thöni 11 Jun '19

11 Jun '19

Hi Genodians, I've noticed that reading an empty inline file crashes the vfs but only when this file is created by an <inline name="test"/> but not when it's created by an <inline name="test"></inline>. This can be demonstrated easily be noux's /bin/cat but seems to be true also with respect to other applications reading such files. You can test it with the runscript in the following commit: https://github.com/throwException/genode/commit/1a9fb7a3eb07096158b07252309… Can anyone explain this behavior? Kind regards Stefan -- Freundliche Grüsse Stefan Thöni Chairman of the Board Senior Security Architect +41 79 610 64 95 gapfruit AG Baarerstrasse 135 6300 Zug https://gapfruit.com

2 1

Building and executing run scripts within Sculpt
by Joel Desermeau 31 May '19

31 May '19

Thank you very much Valery and Josef for explaining things! I think I have a good grasp on the idea now. I will also try to document any issues I encounter more thoroughly

1 0

Building and executing run scripts within Sculpt
by Joel Desermeau 31 May '19

31 May '19

Forgive me if this is a stupid question... So, I've been using Sculpt CE with NOVA since it was released an am amazed at what can be done with such a small amount of people. It's very impressive! Looking forward to the next release. So, how can I setup a Genode development environment within Sculpt? I want to test out some run scripts from the world repository without needing to setup an Ubuntu 16.04 dev environment Thanks :3

3 2

I reuploaded my sample code, its in c but it shows mdmdbt
by jon 29 May '19

29 May '19

Its at https://unidef.net/quantum.source/ <https://unidef.net/quantum.source/> Just need to write a dimension generator in Make Try to throw it all in a class and use it with some typedefs

1 0

Adding multidimensional binary trees with multiple directions with a stack guard for timing
by Unidef 29 May '19

29 May '19

I don’t know much about c++ but just put it all in a class and use inheritance and polymorphism, it should be platform adhesive even in virtualization scenarios. I want a good internal database too, feel free to tell me to go away, but multidimensional multidirectional binary trees even though memory hungry make a good internal database. I have code in c but it got deleted by a hacker from my website, I’ll try to upload it again when everything’s safe Sent from my iPhone

1 0

Announcement: Genode OS Framework version 19.05 released
by Norman Feske 29 May '19

29 May '19

Today, we released the version 19.05 of the Genode OS framework. During this release cycle, we primarily focused on platform support. The addition of the ARM 64-bit architecture, the upgrade of our reference tool chain to GCC 8.3, our updated C runtime, and the consolidation of build directories across multiple boards increase the diversity of the base platforms while keeping the complexity at a manageable level. The flagship feature of Genode 19.05 is certainly our new kernel-agnostic virtualization interface, which effectively decouples virtual machine monitor implementations - like Seoul or VirtualBox - from the concrete underlying microkernel. Thanks to this long-term effort, we can now run the formerly NOVA-specific Seoul VMM on top of the seL4 and Fiasco.OC kernels. The release is accompanied with a new revision of the Genode Foundations book, which has now become available as an online version in addition to the regular PDF document. Of course, there are many further improvements to explore, summarized as follows: - Kernel-agnostic virtualization interface - Initial support for the 64-bit ARM architecture - New tool chain based on GCC 8.3.0 and binutils 2.32 - Updated C and SPARK runtimes - Build directories shared across different boards - Improved kernel support for Muen, NOVA, seL4, Fiasco.OC - Performance optimization of the base-hw kernel - Logging for distributed Genode systems - Updated Zynq and Intel network drivers - Ability to run Tomcat and Spring on OpenJDK Please find those and more topics explained in detail in the release documentation: https://genode.org/documentation/release-notes/19.05 Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs https://www.genode-labs.com · https://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

mouse pointer doesn't work on Rpi 1
by kimberly nNA 29 May '19

29 May '19

Dear Genode team, I am Kimbelly. I tried this commands : $ ./tool/create_builddir rpi $ make run/demo KERNEL=hw I could run the demo on Rpi 1 B+ (ARM v6) but the mouse pointer didn't work. I don't know what happen... (I have uncommented the dde_linux) Another question is now what kind of the ARM boards that you recommend ? Thanks a lot ! 😊

1 1

race-condition in ram_fs and fs_query?
by Guido Witmond 27 May '19

27 May '19

Hi Genodians, I'm working on my HnH19-project to create a component listening on a shared filesystem to open each pdf file into a separate instance of mupdf. Goal is to tie the share to a linux-vm in vbox so firefox and thunderbird can have a simple 'cp' command to get pdfs rendered outside that vm. I add a RAM-FS, FS-QUERY and REPORT-ROM to mupdf.run. The file gets put in the ram-fs, fs-query should pick that up and report it to the report-rom. <start name="pdf_share"> <binary name="ram_fs"/> <resource name="RAM" quantum="128M"/> <provides> <service name="File_system"/> </provides> <config verbose="yes"> <default-policy root="/" writeable="yes" /> </config> </start> <start name="report_new_pdf"> <binary name="report_rom"/> <resource name="RAM" quantum="1M"/> <provides> <service name="Report"/> <service name="ROM"/> </provides> <config verbose="yes"/> </start> <start name="fs_query"> <resource name="RAM" quantum="1M"/> <config verbose="yes"> <vfs> <fs writeable="yes"/> </vfs> <query path="/" content="yes"/> </config> </start> I change the test-scenario to copy a pdf into the share and start the pdf-viewer. The viewer picks up the pdf and renders it. So far so good. The problem is that while the 'add'-test copies the file, it gets detected by fs_query but fs_query thinks it's gone: [init -> test -> add] --- noux started --- [init -> fs_query] Error: failed to watch '//foo.pdf' [init -> fs_query] Warning: could not obtain content of nonexistent file foo.pdf (The error comes from gems/vfs.h L556, the warning from fs_query/main.cc L80.) Fs_quey does send a new report but does not show the file, it show an empty directory. [init -> report_new_pdf] report 'fs_query -> listing' [init -> report_new_pdf] <listing> [init -> report_new_pdf] <dir path="/"/> [init -> report_new_pdf] </listing> However, a ls -laR shows it's there: [init -> test -> ls-after] /dest: [init -> test -> ls-after] total 1 [init -> test -> ls-after] drwxr-xr-x 0 root 0 0 Jan 1 00:00 . [init -> test -> ls-after] drwxr-xr-x 0 root 0 0 Jan 1 00:00 .. [init -> test -> ls-after] -rwxrwxrwx 0 root 0 8192 Jan 1 00:00 foo.pdf Now the race condition: When I set the fs-query option to show the content to "no", it gives the same error: failed to watch '//foo.pdf' but it now it does send the file name to the report: [init -> report_new_pdf] <file name="foo.pdf"/> So it seems that somehow that fs_query watch learns there is a file while the contents are not yet committed. Accessing that triggers a file-not-found error. Did I discover a race condition or am I doing something wrong? With regards, Guido. PS. I added the complete run-file and logs for completeness. (log-1 shows the contents-flag to no). PPS. I'm testing with Qemu in a linux VM on my AMD nixos host.

3 6

mouse pointer doesn't work on Rpi 1
by kimberly nNA 23 May '19

23 May '19

2 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users May 2019