users

users@lists.genode.org

2285 discussions

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

Pre 19.05 compiler warnings "this statement may fall through"
by Duss Pirmin 22 May '19

22 May '19

Hello Genodians While testing the update to Genode 19.05 I recognized many "this statement may fall through" warnings. I have created patches for the following files: base/include/util/string.h base/include/util/arg_string.h The patches are located at: https://github.com/trimpim/genode/tree/gcc8.3_fall_through_warnings Feel free to pick them up, if you like. Best regards, Pirmin

1 0

pre 19.05 feedback: libc port update breaks mkfs from e2fsprogs
by Duss Pirmin 21 May '19

21 May '19

Hello Genodians I'm running preparations for the transition to Genode 19.05. mkfs.run from https://github.com/trimpim/genode/tree/test-19.05-mkfs_fails fails with the error message (KERNEL=nova): "/dev/block: Memory allocation failed while setting up superblock". Through bisecting I determined, that the libc port update seems to be the cause of the problem. a55af1828 last working commit dd5aa1748 .. 057a8b0b3 build fails 132ef4dcb compiles, test fails The error occurs in line 76 in the file src/noux-pkg/e2fsprogs/lib/ext2fs/inline.c of the contrib code. Best regards Pirmin

2 1

Interesting paper on breaking down OS-abstractions
by Guido Witmond 03 May '19

03 May '19

Hi Genodians, Today I came across this paper[1] on the slowdown from POSIX and other kernel abstractions. It offers the notion of a parakernel to break down the monolithic kernel and take kernel abstractions out of the data path. It seems that Genode, although not a parakernel, is quite well adapted to this. Not by accident, I think ;-) It's discussed at [2] 1: https://penberg.org/parakernel-hotos19.pdf 2: https://news.ycombinator.com/item?id=19818899

1 0

usb_drv error -92 for RPi | Genode 18.05 with Fiasco.OC 79
by Alexander Weidinger 18 Apr '19

18 Apr '19

Hello everyone, when executing 'lwip' on the RPi 2, I get the following output for the usb_drv: > [init -> usb_drv] dev_info: DWC OTG Controller > [init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1 > [init -> usb_drv] dev_info: irq 9, io mem 0x00000000 > [init -> usb_drv] dev_info: USB hub found > [init -> usb_drv] dev_info: 1 port detected > [init -> usb_drv] dev_info: new high-speed USB device number 2 using dwc_otg > [init -> usb_drv] dev_error: device descriptor read/all, error -92 > [init -> usb_drv] dev_info: new high-speed USB device number 3 using dwc_otg > [init -> usb_drv] dev_error: device descriptor read/all, error -92 > [init -> usb_drv] dev_info: new high-speed USB device number 4 using dwc_otg > [init -> usb_drv] dev_error: device descriptor read/8, error -92 > [init -> usb_drv] dev_error: device descriptor read/8, error -92 > [init -> usb_drv] dev_info: new high-speed USB device number 5 using dwc_otg > [init -> usb_drv] dev_error: device descriptor read/8, error -92 > [init -> usb_drv] dev_error: device descriptor read/8, error -92 > [init -> usb_drv] dev_error: unable to enumerate USB device Does anyone have an idea what I can do, to get the Ethernet adapter working? Any help is appreciated! I don't really understand the problem here, since the driver works flawlessly for the RPi 1 B+ (using foc_rpi as platform) - which uses the same chip as the RPi 2 (SMSC LAN9514). My Genode version [2] and Fiasco.OC version [3]. To the backstory: ----------------- I am currently in the process of "porting" Fiasco.OC/Genode to the Raspberry Pi 2 (Model B). As a basis I use Genode in the version 18.05 and Fiasco.OC in the version 79. I created a new device, the rpi2, and based it on the already available rpi model. The main changes I did for the rpi2 platform [1] are - the different arm architecture - from armv6 to armv7a in a few files - the different physical base address - from 0x2000:0000 to 0x3f00:0000 - a RAM size of 1008 MB starting at 0x0000:0000 (1024 MB - 16 MB for peripherals) I use version 79 of the Fiasco.OC kernel since it adds support for the three different BCM283X platforms. In order to get version 79 of the kernel running with Genode, I used the official 79 as a basis and cherry-picked commits from Genode's version of Fiasco.OC (72). [0] My setup works completely fine for the RPi 1 (Model B+), even for the usb/nic driver. As the RPi 1 (Model B+) makes use of the SMSC LAN9514, instead of the SMSC LAN9512 (used in RPi Model B) it should also work for the RPi 2 (Model B), since this SBC also uses the SMSC LAN9514. [0] https://github.com/skalk/foc/commits/r72 [1] https://github.com/irgendwie/genode/commits/foc-rpi2 [2] https://github.com/irgendwie/genode/tree/foc-rpi2 [3] https://github.com/irgendwie/foc/tree/genode-r79-rpi2 ----------------- Best regards Alexander

5 15

Heads-up about pending block-API changes
by Norman Feske 16 Apr '19

16 Apr '19

Hello everyone, hereby, I'd like to raise your awareness about pending API changes that affect block-level components. I post this here because block-level components outside our source tree will need an adaptation to the new API. The change consists of two parts, one for the server side and one of the client side. Both parts are already on our staging branch and will reach the master branch soon. The new server-side API is located at 'os/include/block/request_stream.h'. It is already part of Genode 19.02 but remained largely unused at the point of the release. In contrast to the traditional API at 'os/include/block/component.h', the new API anticipates the design of block services as state machines and is designed for the efficient batched processing of block operations. You can find an illustrative example of a block server using this API at 'os/src/test/block_request_stream'. The new client-side API has become part of the 'Block::Connection' located in 'os/include/block_session/connection.h'. Like the server-side API, it is designed for an asynchronous and batched mode of operation. It achieves this with the added notion of 'Job' objects associated to a connection. For more details, you can find the corresponding issue at [1]. The first component I updated to the new API is the block tester located at 'os/src/app/block_tester/'. So there is already a nice playground in the form of the block_tester.run and block_request_stream.run scripts, both located at 'os/run/'. [1] https://github.com/genodelabs/genode/issues/3283 The client-side as well as the server-side APIs completely hide the underlying packet stream mechanism so that we can - in the future once all components are migrated to the new API - simplify this transport mechanism. By hiding the packet stream, components become much simpler because the application code is no longer bothered with the handling of packet-stream corner cases. If you maintain custom block-level components, I hereby encourage you giving the new API a try and report your findings. At the current time, the original APIs are still maintained. So there can be smooth transition phase. Still, a few cosmetic adaptations even in the case of intermediately sticking to the old API are needed. * 'Block::Connection' has become a template. To make your code compile again, the default template argument may become handy. Just rename the type to 'Block::Connection<>'. * The 'Block::Session::info' RPC function has a new signature. Instead of using C-ish out parameters, the new version returns a compound object of type 'Info'. * The original 'Block::Session::Operations' type is gone. In practice, it was merely used to distinguished read-only from read-writeable block devices. Now, it has been superseded with a 'writeable' attribute of the 'Info' type. Much simpler. * SYNC and TRIM have become first-class asynchronous block operations. The former 'sync' RPC function does not exist anymore. I hope you like the direction for the API changes. Your feedback is very welcome. If this direction turns out well, we may take the design as blue print for other asynchronous inter-component communication APIs (NIC and file system come in mind) in the future. 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

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users