users

users@lists.genode.org

2 participants
2322 discussions

app/seoul: build fails with several "duplicate case value" errors
by Joel Valenciano 24 Sep '21

24 Sep '21

When trying to build seoul, I run into several "duplicate case value" errors in executor/instructions.inc. This error seems to occur with the upstream version as well, but I don't know what is causing it. Log contents are attached.

2 4

Getting Started with Genode
by Sid Agrawal 23 Sep '21

23 Sep '21

Hi Genodians, I am a graduate student at the University of British Columbia with their Systopia Lab <http://systopia.cs.ubc.ca/>. My research area is operating systems, and I would like to use Genode(with seL4) as the OS platform for demonstrating my research ideas. As with starting with a new platform I have run into some hurdles. At the end I have given a summary of my research project, which is still in a nascent stage. - *Running the hello_tutorial*: the hello_tutorial job on qemu does not finish to completing and times out. Below are my steps on ubuntu 20.04.1. I am using the Genode development container <https://genodians.org/skalk/2020-09-29-docker-devel>, so the tools should not an issue. I also tried it outside the container. git clone git://github.com/genodelabs/genode.git cd genode tool/ports/prepare_port sel4 tool/ports/prepare_port grub2 tool/create_builddir x86_64 cd x86_64/build/ # Change build/x86_64/etc/build.conf. # Change kernel to sel4 and add hello_tutorial diff etc/build.conf.old etc/build.conf 20c20 < #KERNEL ?= nova --- > KERNEL ?= sel4 85a86 > REPOSITORIES += $(GENODE_DIR)/repos/hello_tutorial make make hello make run/hello # This times out as shown below. [init -> hello_server] creating root component [0m [0m [init -> hello_client] upgrading quota donation for PD session (0 bytes, 4 caps) [0m [0m [init] child "hello_server" requests resources: cap_quota=3 [0m [0m [init] child "hello_client" requests resources: ram_quota=0, cap_quota=4 [0m [0m Error: Test execution timed out Any comments on what I am doing wrong would be very helpful. Secondly, what would be the best way to go about debugging an issue like this. - Summary of my research project <https://sid-agrawal.ca/index.html#research-projects> on building "General Purpose Isolation Mechanisms". After sixty years of operating system evolution, we continue to find new and different isolation mechanisms: threads, processes, containers, virtual machines, lightweight contexts. Even applications provide isolation mechanisms: a JVM is a user-level process that provides isolation units whose API is Java bytecodes; some browsers offer units of isolation between each browser tab. We ask whether we really need to have N different isolation mechanisms or, instead, we could develop a framework in which all these different mechanisms represent points on a continuum. If we could do that, then perhaps A) we could implement such a unified framework, and B) the framework might allow us to discover new and useful isolation mechanisms (that could be created seamlessly rather than requiring an entirely new implementation). The project has three main goals: - Develop a theoretical model or framework to unify existing isolation mechanisms. - Identify novel points in the model that are useful. - Implement the model in seL4. The Fig below shows how different access and isolation levels of memory can be used to construct different types of PD. The points along the Y-axis are building blocks of memory isolation. The points on the X-axis are different types of PD. A given PD can be constructed using different building blocks, which are represented as circles that intersect one or more blocks. Mapping these concepts to Genode, This is an evolving model, as we are still investigating: - If the "Security and Performance Guarantees" across any two types of PD can be compared. - Should there be more building blocks on the Y-axis - What novel types of PD can we come up by combining the different building blocks [image: image] I am excited about building my project with Genode, the composability in its architecture make it well suited as platform to show unconventional OS ideas. Best, Sid sid-agrawal.ca

3 2

Update intel wifi_drv
by Pirmin Duss 13 Sep '21

13 Sep '21

Hello Genodians We have an ARM platform with a Intel AX200NGW WIFI module. This isn't supported by the current `wifi_drv`. Support for this module type was recently added to the Linux kernel. If no one has already started upgrading `wifi_drv` I would volunteer to update the driver to the new Linux-device-driver environment. I would at first create the version for x86_64 which can be tested more easily. If this works I would then create the version for ARM64. Best regards, Pirmin

3 2

Device mmio set of registers
by Stefan Thöni 02 Sep '21

02 Sep '21

Hello Genodians What's the best way to handle multiple sets of identical registers on a hardware device? In my current use case the device offers multiple DMA engines each of which has a complex set of registers to set up. Each register is located at base device address + base engine address + register offset so uniform handling should be easy. I handle the device itself and the shared registers using Platform::Device::Mmio. For the registers associated with each DMA engine I have tried: a) A template class providing a base offset as the template parameter. This is unsatisfactory however, as there is no common base class providing access to the registers for the software to be agnostic to which engine it handles. b) A separate class derived from Genode::Mmio. This looks promising, but the Platform::Device::Mmio unfortunatly offers no public accessor to the device base address so I cannot provide the base device address + base engine address to my engine mmio class. Any suggestions? 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

Announcement: Genode OS Framework version 21.08 released
by Norman Feske 31 Aug '21

31 Aug '21

I'm happy to announce the release of Genode version 21.08. https://genode.org/news/genode-os-framework-release-21.08 The most prominent topics of the new version are GPU support and a fresh approach for porting device-driver code from the Linux kernel to Genode. Up to now, the use of hardware-accelerated graphics has remained a mere experimentation ground for Genode. As such, GPUs remain unused by Sculpt OS. The current release aims to change that, setting the goal of making GPUs a commodity feature of Genode-based systems. This line of work comprises a largely improved version of our custom GPU multiplexer for Intel GPUs, a novel way of decoupling the display driver from the GPU driver, and a revamped Mesa library stack. The second major topic is a new device-driver environment (DDE) for executing unmodified Linux driver code as Genode components. With the re-imagined DDE introduced by Genode 21.08, the porting of such drivers takes only a fraction of time compared to our previous porting efforts. A quick summary of the current release: - Linux-device-driver environment re-imagined - New device drivers - i.MX8mq framebuffer driver - i.MX8mq SD-card driver - Pinephone framebuffer - Pine-A64-LTS networking driver - RAM framebuffer driver for Qemu - Revived GPU support - Mesa 21.0.0 - Architectural integration of GPU multiplexing - Refined user-level network routing - Updated and improved VirtualBox - Media playback and SSL validation for Qt5 and QtWebEngine - Modular integration of LTE modem stack in Sculpt OS - Tool-chain support for RISC-V The detailed release documentation is available here: https://genode.org/documentation/release-notes/21.08 Have fun with exploring the new version! 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

I Just Need Your Opinion
by Nuri Başçay 14 Aug '21

14 Aug '21

Hi dear Genode Developers, I'm Nuri and I'm an intern student. My boss wants me to learn genode and develop apps. Firstly, thanks for your replies. Thanks to your reply, I ran Hello World in the Linux Genode scenario. The main point is that, It is my first time using Ubuntu and working on an operating system framework. I'm a computer engineering student (my 2nd year finished now). I know flutter, java and python etc. Is there a way to say kindly to my boss that it is impossible to develop genode projects with my knowledge? If yes, please let me know your opinion (what can I say to my boss for example I talked the genode developers so, they said that you need to study more something to start to develop genode) If it is easy to develop apps for genode, please let me know how I can do that. I read genode foundations book and study in this link " https://genode.org/documentation/developer-resources/index " but I just did Hello World project on genode after 3 weeks. So please help me ASAP dear Genode Developers.

2 1

I need your opinion please help me
by Nuri Başçay 11 Aug '21

11 Aug '21

Hi Genode Developers. I'm Nuri and I'm an intern student. My boss wants me to learn genode and develop apps. Firstly, thanks for your replies. Thanks to your reply, I ran Hello World in the Linux Genode scenario. The main point is that, It is my first time using Ubuntu and working on an operating system framework. I'm a computer engineering student (my 2nd year finished now). I know flutter, java and python etc. Is there a way to say kindly to my boss that it is impossible to develop genode projects with my knowledge? If yes, please let me know your opinion (what can I say to my boss for example I talked the genode developers so, they said that you need to study more something to start to develop genode) If it is easy to develop apps for genode, please let me know how I can do that. I read genode foundations book and study in this link " https://genode.org/documentation/developer-resources/index " but I just did Hello World project on genode after 3 weeks. So please help me ASAP dear Genode Developers. By the help of this link below, I tried to run "Creating your first client-server scenario <https://genode.org/documentation/developer-resources/client_server_tutorial> " but got an error and couldn't do anything. https://genode.org/documentation/developer-resources/index And here it is the error that I mentioned ( generating initrd cp: cannot stat 'genode/initramfs': No such file or directory ) input; $ make run/hello KERNEL=linux output; including /home/nuri/genode/tool/run/power_on/qemu including /home/nuri/genode/tool/run/log/qemu including /home/nuri/genode/tool/run/image/disk including /home/nuri/genode/tool/run/boot_dir/linux including /home/nuri/genode/repos/lab/run/hello.run building targets: core init app/hello spawn make core init app/hello make[1]: Entering directory '/home/nuri/genode/build/x86_64' checking library dependencies... Library ldso_so_support Library syscall-linux Library startup-linux Library cxx Library ld Library base Program app/hello/hello Program init/init Library base-linux-common Library core-linux Program core/linux/core-linux COMPILE version.o LINK core-linux make[1]: Leaving directory '/home/nuri/genode/build/x86_64' genode build completed checking configuration syntax CHECK init building targets: lib/ld/linux spawn make lib/ld/linux make[1]: Entering directory '/home/nuri/genode/build/x86_64' checking library dependencies... Library syscall-linux Library startup-linux Library timeout Library cxx Library seccomp Library ldso_so_support Library base-linux-common Library base-linux Library ld-linux Program lib/ld/linux/ld-linux make[1]: Leaving directory '/home/nuri/genode/build/x86_64' genode build completed using 'core-linux' as 'core' using 'ld-linux.lib.so' as 'ld.lib.so' using 'core-linux' as 'core' using 'ld-linux.lib.so' as 'ld.lib.so' generating initrd cp: cannot stat 'genode/initramfs': No such file or directory while executing "exec cp genode/initramfs init" (procedure "build_initrd" line 16) invoked from within "build_initrd $binaries" (procedure "run_boot_dir" line 28) invoked from within "run_boot_dir $binaries" (procedure "build_boot_image" line 35) invoked from within "build_boot_image "core ld.lib.so init hello"" (file "/home/nuri/genode/repos/lab/run/hello.run" line 20) invoked from within "source $include_name" ("foreach" body line 6) invoked from within "foreach include_name [get_cmd_arg --include ""] { # first check if the include name is absolute if {[string first "/" $include_name] == 0} { puts ..." (file "/home/nuri/genode/tool/run/run" line 1062) make: *** [Makefile:393: run/hello] Error 1

2 2

ASAP Please Help me After Hello World in Genode
by Nuri Başçay 10 Aug '21

10 Aug '21

Hello Developers, I'm an intern student and my boss wants me to learn genode. Finally I installed Genode on Ubuntu and made a Hello World example thanks to your community and genode documentation. However, I think that I need some more hints to go further. I want to be a genode developer but I don't know how to program in genode or sculpt os like in c++( Genode uses C++ as I know) I mean how to run c++ code in genode or sculpt? I would like to ask you kindly, How can I start programming and develop myself? (That means going one step further than hello world, maybe antoter basic example to run and compile by genode sculpt) Please, Answer the mail as simple as possible and sorry for my bad English. I'm looking forward to your reply. Thank you.

1 0

ASAP Please Help Me (I'm in intern but know nothing about GENODE)
by Nuri Başçay 10 Aug '21

10 Aug '21

Hello Dear Genode Developers, First, I would like to say sorry for taking your time. I'm Nuri and 21 years old. I'm a ceng student and my boss wants me to start to develop apps by using genode or sculpt i don't know.However, I could not even print Hello World! during 9 days (except by using bash with echo command) Can you please help me about these topics and thanks from now on. Will I develop apps for genode, or sculpt os? As I know, I need to know C++ language to develop apps in genode or sculpt os but do not know where I can programing c++ in genode, I can only open terminal (bash). How and where to start programming (first hello world) to develop apps? I have; *Windows 10 *Ubuntu 20.04 *Genode Sculpt 21.03b as virtualBox *I built sculpt os 19.07 image and I have this bootable usb stick by the help of this video below youtube.com/watch?v=7g8hDQQt-VI&ab_channel=genode-alex I'm curiously waiting for your reply. Best regards. Thank you Nuri Bas

2 2

how to find the thread stack limit?
by Dan Connolly 10 Aug '21

10 Aug '21

I'm trying to port this XS JavaScript engine to genode. It wants to know the stack limit. Any suggestions on how to do this? https://github.com/Moddable-OpenSource/moddable/blob/public/xs/sources/xsCo… char* fxCStackLimit() { #if mxWindows ULONG_PTR low, high; GetCurrentThreadStackLimits(&low, &high); return (char*)low + (32 * 1024); #elif mxMacOSX pthread_t self = pthread_self(); void* stackAddr = pthread_get_stackaddr_np(self); size_t stackSize = pthread_get_stacksize_np(self); return (char*)stackAddr - stackSize + (8 * 1024); #elif mxLinux pthread_attr_t attrs; if (pthread_getattr_np(pthread_self(), &attrs) == 0) { void* stackAddr; size_t stackSize; if (pthread_attr_getstack(&attrs, &stackAddr, &stackSize) == 0) { return (char*)stackAddr + (4 * 1024); } } return C_NULL; #else return C_NULL; #endif } -- Dan Connolly http://www.madmode.com/

2 2

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users