users

users@lists.genode.org

3 participants
2319 discussions

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 28 Dec '22

28 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

genode/sculpt natively on x86 unibody Mac mini
by Alexander Tormasov 27 Dec '22

27 Dec '22

recently I read the message that it is possible to run on Mac mini (as I understand, old x86 mac mini) I had 2 spare mac mini and one of them could be used for such an experiments. Is it possible to run Scuplt of last version on x86 unibody mac mini? if yes - any build/setup instruction? Can I use bt keyboard/mouse or I should use wired usb ones? which one better to use for experiments (from compatibility point of view - while I prefer to use older one): 1. «older» Mac mini (Mid 2010) Macmini4,1 model A1347 2,4 GHz Intel Core 2 Duo 4 Gb 1067 MHz DDR3 NVIDIA GeForce 320M 256Mb with optical drive DVD RW uname -a gives Darwin Macmini-Alex 17.7.0 Darwin Kernel Version 17.7.0: Thu Jun 21 13:34:27 PDT 2018; root:xnu-4570.71.2~1/RELEASE_X86_64 x86_64 some more info The Apple Mac mini "Core 2 Duo" 2.4 (Mid-2010/Aluminum Unibody) features a 2.4 GHz Intel "Core 2 Duo" (P8600) processor, a 3 MB on-chip level 2 cache, a 1066 MHz frontside bus, 2 GB of 1066 MHz DDR3 SDRAM (PC3-8500) memory, a 320 GB 3 Gb/s Serial ATA hard drive, a slot-loading 8X double-layer "SuperDrive", and a NVIDIA GeForce 320M graphics processor with 256 MB of memory shared with the system. Connectivity includes an HDMI and a Mini DisplayPort, a Firewire "800" port, four USB 2.0 ports, combined "audio line in (digital/analog)" and combined "audio line out/headphone (digital/analog)" minijacks, a 10/100/1000Base-T Gigabit Ethernet port, built-in AirPort Extreme (802.11a/b/g/n), and Bluetooth 2.1+EDR, in addition to an SD (SDXC) card slot. 2. «newer» Mac mini (Mid 2011) Macmini5,2 model A1347 2,5 GHz Intel Core i5 4 Gb 1333 MHz DDR3 AMD Radeon HD 6630M uname -a gives Darwin Macmini-tor 17.7.0 Darwin Kernel Version 17.7.0: Fri Oct 30 13:34:27 PDT 2020; root:xnu-4570.71.82.8~1/RELEASE_X86_64 x86_64 some more info The Apple Mac mini "Core i5" 2.5 (Mid-2011/Aluminum Unibody) features a 32-nm "Sandy Bridge" 2.5 GHz Intel "Core i5" (2520M) processor with two independent processor "cores" on a single chip, a 3 MB shared level 3 cache, 4 GB of 1333 MHz DDR3 SDRAM (PC3-10600) memory, a 500 GB hard drive, and AMD Radeon HD 6630M graphics with 256 MB of dedicated GDDR5 memory. It does not have an internal optical drive. Connectivity includes a Firewire "800" port, four USB 2.0 ports, combined "audio line in (digital/analog)" and combined "audio line out/headphone (digital/analog)" minijacks, a 10/100/1000Base-T Gigabit Ethernet port, 802.11a/b/g/n Wi-Fi, Bluetooth 4.0, an SDXC card slot and an HDMI port as well as a new "Thunderbolt" port that is backwards compatible with Mini DisplayPort and likewise supports an external display at 2560x1600 and passes an audio signal as well. Thunderbolt also supports other peripherals that use the Thunderbolt standard which provides up to 10 Gbps of bandwidth in both directions. Thanks! Sincerely, Alexander

2 1

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users