users April 2020

users@lists.genode.org

17 participants
24 discussions

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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users April 2020