users

users@lists.genode.org

2330 discussions

Building 64 bits nova.
by Shlomo Pongratz 07 Apr '20

07 Apr '20

Hi, In the webpage https://genode.org/documentation/platforms/nova the instructions are as follows; ./tool/ports/prepare_port nova ./tool/ports/prepare_port x86emu <genode-dir>/tool/create_builddir nova_x86_32 BUILD_DIR=<build-dir> Now since both x86emu and Nova supports x86_64 I wonder is just replacing to nove_x86_64 will do the magic? Best regards, S.P.

2 1

Build in Ubuntu container.
by Shlomo Pongratz 06 Apr '20

06 Apr '20

Hi, Since I've failed building on FC31 I've set a Ubuntu 18.04 container and tried to build there. It seems that I need to configure the terminal since after the error message it just stuck, see below. Did anyone tried to build inside a container but run outside of it? Best regards, S.P. root@359c5dcd6675:/genode/build/x86_64# make KERNEL=linux BOARD=linux run/demo including /genode/tool/run/power_on/linux including /genode/tool/run/log/linux including /genode/tool/run/boot_dir/linux including /genode/repos/os/run/demo.run building targets: app/status_bar test/nitpicker spawn make app/status_bar test/nitpicker make[1]: Entering directory '/genode/build/x86_64' checking library dependencies... Library ldso-startup Library ld Library base Program app/status_bar/status_bar Program test/nitpicker/testnit make[1]: Leaving directory '/genode/build/x86_64' genode build completed checking configuration syntax CHECK init spawn ./core Genode sculpt-20.02-70-g46fa8197a 17592186044415 MiB RAM and 8997 caps assigned to init [init] Warning: scout assigned caps (10000) exceed available caps (6628) Error opening terminal: unknown. Warning: blocking canceled in entrypoint constructor [init -> drivers] child "fb_sdl" exited with exit value 0

1 0

Error while building.
by Shlomo Pongratz 06 Apr '20

06 Apr '20

Hi, According to the an earlier error message from: make KERNEL=linux BOARD=linux run/demo I ran the following command (with all verbose on): /home/shlomo/development/all_git/genode.git/genode/tool/depot/create VERBOSE= VERBOSE_D IR= VERBOSE_MK= genodelabs/pkg/x86_64/drivers_interactive-linux genodelabs/bin/x86_64/base-linux genodelabs/bin/x86_64 /demo genodelabs/bin/x86_64/global_keys_handler genodelabs/bin/x86_64/init genodelabs/bin/x86_64/nit_focus genodelabs/ bin/x86_64/nitpicker genodelabs/bin/x86_64/report_rom genodelabs/bin/x86_64/rom_filter CROSS_DEV_PREFIX=/usr/local/gen ode/tool/19.05/bin/genode-x86- And I got this error message: /usr/local/genode/tool/19.05/bin/genode-x86-strip -o fb_sdl.stripped fb_sdl /usr/local/genode/tool/19.05/bin/genode-x86-strip:fb_sdl[.gnu.build.attributes]: bad GNU build attribute notes: first note not version note: bad value I'm building of FC31. Any Idea?

2 2

Interesting idea to ask
by Lonnie Cumberland 02 Apr '20

02 Apr '20

Hi All, Hope that everyone is well and safe from the COVID-19 virus these days. I have been watching Genode, Muen, and especially NOVA for a number of years and I have an idea that I would like to get your opinion/comments on regarding its potential as well as if it has a beneficial point to it. I would like to take and build up a system based on the MuenSK with NOVA, and Bhyve while also possibly adding the Sculpt OS GUI into the mix for a nice basis for a hypervisor. I was thinking that the layers could be (bottom to top) 1. MuenSK ---- Provides Separation Kernel for real hardware configuration 2. NOVA Hypervisor ---- Provides virtualization of the real hardware provided by the SK 3. Bhyve --- Provides the VMM for each instance given by NOVA Of course, there are other things to be included but this is just the base that I am working towards. Do you see an advantage to something like this? About the only close Virtualizing Separation Kernel that I have come across is the LynxSecure Separation Kernel Hypervisor ( https://www.lynx.com/products/lynxsecure-separation-kernel-hypervisor) but I would like to build an open sourced version. Any thoughts, suggestions, or comments? Cheers, Lonnie

2 2

Hack'n'Hike 2020 cancelled!
by Martin Stein 02 Apr '20

02 Apr '20

Hi Genodians, I hope you are doing all well? Due to the current situation with COVID-19 in Germany and other countries around the world, we have decided to __cancel the Hack'n'Hike 2020__. It is quite unlikely that things will get back to normal until 8th of May and we'd like to prevent uncertainty about the event. Please also note that we're __not__ planning to provide an alternative date this year, so, next Hack'n'Hike will probably be held in April/May 2021. Best regards and stay healthy! Martin

1 0

Uncaught exception when throwing within with_libc lambda
by Sid Hussmann 30 Mar '20

30 Mar '20

Dear Genodians, I just stumbled across a not so obvious characteristic of the with_libc lambda. Not so obvious to me, at least. If I run following code snipped, it will result in a "Error: Uncaught exception of type 'Genode::Exception'": ``` try { Libc::with_libc([&] () { throw Genode::Exception(); }); } catch (...) { Genode::log("caught libc exception"); } ``` I didn't find any documentation regarding the with_libc lambda in combination with exceptions. Is this expected behavior? What would be the right pattern to forward the exception to a pure Genode environment e.g. across RPC boundaries? I could think of following pattern: ``` bool libc_exception_thrown = false; Libc::with_libc([&] () { try { throw Genode::Exception(); } catch (...) { Genode::log("caught libc exception"); libc_exception_thrown = true; } }); if (libc_exception_thrown) { throw My_rpc_exception(); } ``` However, it does not look like the most elegant solution... Cheers, Sid

2 1

Quotas for VFS plugins
by Pirmin Duss 20 Mar '20

20 Mar '20

Hello Genodians We have a VFS component that provides a RAM file system to an untrusted component. If this component writes a file too large the VFS issues a resource request and is blocked. We would like to add file system quotas to in order for the VFS to be able to limit the size components can write. The idea is to add this to all plugins for which it makes sense. Has there already somebody started some work in this direction and what are the general thoughts about it? Regards, Pirmin

2 1

Announcement: Sculpt OS version 20.02 released
by Norman Feske 10 Mar '20

10 Mar '20

Today, we made the Sculpt OS version 20.02 available! >From the official news announcement at genode.org: Version 20.02 of the Sculpt operating system revisits the administrative user interface for a more intuitive and logical user experience. With the release of Sculpt version 20.02, we follow our mission [1] to make Sculpt OS easier to approach. In particular, we identified the reliance on a command-line interface as a potential barrier of entry [2]. As Sculpt OS is not a Unix-like system, it should not require any Unix know-how from the user. To relieve users from this burden, Sculpt 20.02 introduces a custom graphical file browser and editor that can be used for interactively inspecting and tweaking the state of the system. The traditional command-line interface is still present as a fallback for advanced tasks though. The updated manual [3] goes into detail about the use of the new system. Thanks to the work of seasoned Genode developers, many software packages are already available for the new version. These include virtual machine monitors like VirtualBox, performance-monitoring tools, GUI components, Genode's custom Unix runtime, and several applications and games. In particular, the software depots offered by alex-ab, cnuke, and skalk are worth exploring. The ready-to-use system image for version 20.02 can be obtained from the Sculpt download page [1]. [1] https://genode.org/about/road-map [2] https://genodians.org/nfeske/2020-01-06-pending-sculpt-ui [3] https://genode.org/documentation/articles/sculpt-20-02 [4] https://genode.org/download/sculpt I wish you a lot of fun with the new version. To get inspiration about the various new things to try at home, you may enjoy my recent live demo of the system presented at FOSDEM: https://fosdem.org/2020/schedule/event/uk_sculpt/ 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

Hack'n'Hike 2020 is coming closer
by Martin Stein 10 Mar '20

10 Mar '20

Hi Genodians, Please keep in mind that our annual Hack'n'Hike gathering takes place in 2 months! It's the perfect event for getting in touch with other Genode enthusiasts and pushing forward your own Genode project in a cozy environment. If you'd like to join us this year, please send me a mail! Hack'n'Hike 2020 Github issue with all information around the event: https://github.com/genodelabs/genode/issues/3349 Cheers, Martin

2 1

java execution time
by Duss Pirmin 06 Mar '20

06 Mar '20

Hello Genodians I have a JAVA application that I execute on request by starting it in a sub init. When debugging why it takes about 6 seconds on x86_64 to handle a request I made the discovery that when Java is included via `import_from_depot` in the runs script, that the execution time goes down to under one second. But when it is included via the depot mechanism, the execution is slow. In my tries to speed up I modified the JDK package to take the content of the `classes.tar` from a ram_fs where I extracted the file to. But this did not improve the execution time in a significant way. I did this tests on sculpt. Has someone an idea what causes this increases in execution time and if there could be a way to reduce it? Regards, Pirmin

2 1

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users