users

users@lists.genode.org

1 participants
2310 discussions

Re: Roadmap 2023
by Colin Parker 04 Jan '23

04 Jan '23

Hello Genodians, Last year was a good year in Genode for me. I poke around with it at the hobby level, but this year I saw the drivers system substantially re-worked and I was able to successfully port a Linux driver. > What directions are you most excited about? Although many others are excited about Sculpt on phones and SOC/SBC scenarios, I remain excited about the prospect of improving Sculpt on “conventional” machines like laptops and (mini)towers. My thoughts on where things could be: 1) The default Sculpt image can probably be made to boot already on almost any x86 system. A few tweaks could help such as allowing command-line arguments from the boot loader to boot in “safe” mode, forcing fallback to the boot loader’s frame buffer. 2) The default Sculpt configuration is great and provides a low barrier to new users to at least try Sculpt. But to work seriously in Sculpt one wants to install a VM, which is many steps, and to virtualize and already-installed OS is even more steps. It would be fantastic if one could, out-of-the box, virtualize an installed OS. If that’s too much, it might be worth curating USB stick images with pre-installed VM partitions. > > Which topics do you deem as interesting to explore yourself? I might poke around with (2) above, at least trying to follow the existing instructions. I may also try to port some more Linux drivers. I’m curious where Sculpt will go with that - will it be towards live selection of drivers at boot time, like in most Linux distros, or is the idea for lean purpose-built images that contain only the drivers necessarily for a given system? Happy new year to all!

3 3

VMM ARM examples: Issues.
by Sid Agrawal 04 Jan '23

04 Jan '23

Hi, I am attempting to run the *vmm_arm run scripts* and am running into a few issues. I am running this on Ubuntu 22.04 with x86_64. The scenario I am trying is to run a with the *hw kernel with arm_v8a arch.* First Issue: '*src/libc' not found - unable to guess version* *Steps:* *git clone ...* *cd genode-dir* *tool/create_builddir arm_v8a* *# Add additional repos in the build.conf file.* *cd build* *make KERNEL=hw BOARD=virt_qemu_arm_v8a* *make KERNEL=hw BOARD=virt_qemu_arm_v8a run/vmm_arm* # Returns the following errors: including /home/siagraw/genode-hw/tool/run/power_on/qemu including /home/siagraw/genode-hw/tool/run/log/qemu including /home/siagraw/genode-hw/tool/run/boot_dir/hw including /home/siagraw/genode-hw/repos/os/run/vmm_arm.run Error: recipe for 'src/libc' not found - unable to guess version make: *** [Makefile:431: run/vmm_arm] Error 1 So, I removed the libc line from vmm_arm.run, as per the diff below: *diff --git a/repos/os/run/vmm_arm.run b/repos/os/run/vmm_arm.run* index d80052352..a4ec448ab 100644 --- a/repos/os/run/vmm_arm.run +++ b/repos/os/run/vmm_arm.run @@ -16,7 +16,6 @@ if { ![have_board imx7d_sabre] && ![have_board imx8q_evk] && create_boot_directory t import_from_depot [depot_user]/src/[base_src] \ [depot_user]/src/init \ - [depot_user]/src/libc \ [depot_user]/src/log_terminal \ [depot_user]/src/nic_router \ [depot_user]/src/terminal_crosslink \ After that, the VM boots up as below. Second Issue: *Failing mount command and no interactive shell.* [...] [init -> vm] [ 6.227743] NET: Registered PF_PACKET protocol family [init -> vm] [ 6.233521] Key type dns_resolver registered [init -> vm] [ 6.249367] Loading compiled-in X.509 certificates [init -> vm] [ 6.310832] Sending DHCP requests ., OK [init -> vm] [ 6.361405] IP-Config: Got DHCP answer from 10.0.1.1, my address is 10.0.1.2 [init -> vm] [ 6.372772] IP-Config: Complete: [init -> vm] [ 6.378516] device=eth0, hwaddr=02:02:02:02:04:05, ipaddr=10.0.1.2, mask=255.255.255.0, gw=10.0.1.1 [init -> vm] [ 6.387958] host=10.0.1.2, domain=, nis-domain=(none) [init -> vm] [ 6.394173] bootserver=10.0.1.1, rootserver=10.0.1.1, rootpath= [init -> vm] [ 6.394275] nameserver0=10.0.1.1 [init -> vm] [ 6.441325] Freeing unused kernel memory: 1152K [init -> vm] [ 6.458228] Run /bin/sh as init process [init -> vm] /bin/sh: can't access tty; job control turned off [init -> vm] / # mount /dev/vda /root; cp -r /etc /root; ls /root/etc; umount /root [init -> vm] mount: mounting /dev/vda on /root failed: No such file or directory <--- This seems to failing as there is nothing inside /dev in the VM. I tried an "ls" in my run script and that showed that /dev is empty. [init -> vm] fstab init.d resolv.conf Run script execution successful. I have a few questions here: - Was it ok to remove the libc line from the run script? - I was expecting the VM to hang around with a shell. Is that not the expected behavior? - I should be able to run this scenario of a rpi3, right? Instead of running inside Qemu(where I have effectively 2 level of virtualization from the point of the VM). Best, Sid

2 1

u-boot requirements for genode
by Michael Grunditz 03 Jan '23

03 Jan '23

Hello I would like to know the requirements from u-boot in order to properly start genode. I know you are using bootm command, but that doesn't work at all with rockchip boards. Not sure if it is rockchip specific, but bootm will in the end try to switch to el2 which will surely fail in my case, since it's already there. It also requires dt blob and or atags, if not there - hang. I have tried to drop to el1 from uboot and with genode image as EP. That works a bit better then just jumping to it from el2. But strange things happens. No output from Genode can be seen. I can output characters to uart , but the uart driver or something in between fails. I have tested with adding a crash the last thing it does in enable_mmu , and I get that crash. My guess is that it actually starts, but not sure. One thing that struck me was that it looked a bit like a serial communication error, like a baud rate issue. rockchip insists on running a silly high baud rate. So the first question is what I want to know,, the requirements. I have no problems with adjusting things . Best regards, Michael

3 3

Sculpt OS - A Truly Alternative OS blog post
by Will Senn 03 Jan '23

03 Jan '23

OK. I've wrapped up my week with Sculpt OS by writing up a using sculpt article for posterity, etc, and so on :). Lemme know if you find fault with it. It covers much of the same ground as the getting started tutorial in the docs, just in a different way. Thanks for introducing me to such an amazing effort. I'll be exploring more of the OS in the coming days and look forward to learning more from y'all. Here's the link: https://decuser.github.io/operating-systems/genode/sculpt/2022/12/30/sculpt… Will

2 2

Properly shutting down
by Will Senn 03 Jan '23

03 Jan '23

OK. I give up. After watching videos and reading reams of documentation, I'm not able to get Sculpt to shutdown. I can get it to reset - via: vim config/managed/system <system state="reset"/> which takes effect as soon as I write the file but the corollary: <system state="poweroff"/> doesn't appear to have any effect in either virtual box or the t430. What I've been doing in the meantime, is the reset and then powering off during the reboot. help. Will

4 5

Some questions on bare metal readiness
by Sid Agrawal 03 Jan '23

03 Jan '23

Hi Genodians, I got introduced to Genode as a viable userspace for seL4. But having looked at the code and the abstraction provided by the "core", I feel like I do not really case much about whether I am running sel4 under the hood or not. I plan to use Genode for my research and to that affect, I would like to understand whether I will be able to boot it on the hardware that is available to me and what components of the sw stack will work out of the box. The things which attract me to Genode the most is the components based architecture and the notion of higher level capabilities like: PD, RM etc. Below, I have listed some of things I am looking for. Followed up by understanding of the answers to those questions. If Norman or someone else can clear these up for me, it would be very helpfu. *I would like your opinion on the best combination of Genode+Kernel+arch, which would meet the following requirements:* - It can be booted on real hardware. FWIW I only have access to the following: - Intel x86_64-based PC - Raspberry Pi 4. - Raspberry Pi 3 (can be purchased) - The Toradex Aster carrier board with the iMX8X - Has some drivers that work on bare metal, with some run examples. - Network Driver: I think this exists only for PC, - SD card Driver: I think this exists for both PC and rspi3 - Any other driver will also do, like a USB driver or something. - Has a VMM based on VM_Session, which will also boot on real hardware - I really liked the vmm_arm(full-fledged) and vmm_x86(toy VM guest) examples - The hardware can be flashed and booted with new images easily. I am thinking tftp, usb - Quick dev can be done on Qemu. *Based on my read of the code, the top three contenders are:* - Nova + x86_64: - This will probably give me the best driver support. As it is the version which ships with sculpt and hence most widely tested. - vmm_x86 will give a trivial VMM example - VirtualBox will give me a full-fledged VMM example - Base-HW: I really the idea of not having a separate microkernel, as the base-hw's abstraction seems like the right level to me. So, if I base my work off this kernel, that would be best. - ARM_v8 - Looks like this will boot on rpi3, Is that correct? - I am not sure if there will be networking support - x86_64 - I am not sure if this boot on x86 - Or has the same driver support for networking Thanks again. Sid Grad Student University of British Columbia

1 1

update on t430 wifi
by Will Senn 31 Dec '22

31 Dec '22

All, Just an update on getting wifi working on my T430. While I loved learning about the build process and was happy to explore the build your custom image idea, it turns out that 8 bucks on ebay and my problem was solved. I ordered up an Intel Centrino Advanced-N 6205 62205ANHMW to replace the lame Intel Centrino Wireless-N 2200 2200BNHMW that was originally in the T430, removed the 2 keyboard screws, lifted off the keyboard, replaced the old with the new, put everything back and rebooted - solid, now I got 5 Ghz frequencies and it works flawlessly with my debian and sculpt installs. Highly recommended upgrade - its even a bit faster at negotiating with the access point. Later, Will

2 1

Posted building genode on debian note
by Will Senn 29 Dec '22

29 Dec '22

Hi all, For posterity and those interested, I've posted a note on how to build the image on debian (in a vm, or metal) based on my explorations so far, over on my blog: https://decuser.github.io at https://decuser.github.io/operating-systems/genode/sculpt/2022/12/29/buildi… As I figure stuff out, I'll post from time to time. Later, Will

1 0

RK3588 part 2
by Michael Grunditz 29 Dec '22

29 Dec '22

Hi! I finally managed to setup my RK3588 board again. I also have built my own u-boot. The error I was experiencing before was because of wrong address of binary. bootm uImage still doesn't work , fails in some dt_header thing in u-boot. If I can get things moving I will try to isolate that problem. Now to current status: Complete hang in switch to hypervisor. That eret never returns... unless Genode::raw stops working after it. Another thing in cortex_a53_cpu.cc that doesn't work is: Cpu::current_core_id(). I get a compile time error about not being in Board::Cpu. I think those two errors are connected. Perhaps someone can tell me about the last error (core-id), and what might cause it? Thanks, Michael

1 1

sculpt OS kernel and applications
by Sid Agrawal 28 Dec '22

28 Dec '22

Hi, I am looking for the following answers but could not get an answer on the website. 1. I understand the Genode can be made with multiple kernels such as OKL4, seL4, and Nova, as well as your own kernel named hw? However, it was not obvious which kernel is used by sculpt. 2. Where can I find the application list that runs on sculpt? Like browsers, databases etc? Thanks, Sid

2 2

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users