users

users@lists.genode.org

2285 discussions

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

Getting Sculpt up and running on a hard drive
by Will Senn 27 Dec '22

27 Dec '22

I am starting to feel my way around in the dark with Sculpt OS. It's very different. I like different. But, it's a learning curve, for sure. I am running it on my t430 where I have an SSD and SSHD (hybrid drive - part ssd and part hdd). The SSD's in the main slot, the SSHD's in the DVD bay. I have it running on the SSHD, but I'm really not sure what's going on - shocker, right? Here are the steps I followed to get here. Tell me if I went off the correct path: Preparing and burning the image (after a few stumbles, seems to work): * installed Debian 11.6 "Bullseye" on the SSD * updated * installed the necessary packages for building Genode/Sculpt. * downloaded the toolchain and installed it * checked out 22.10 in the genode git repo, locally * configured build.conf * MAKE += -j8 * CCACHE := yes * RUN_OPT += --depot-auto-update * QEMU_RUN_OPT := --include power_on/qemu --include log/qemu --include image/iso * libports, ports, dde_linux, dde_rump, gems, pc, dde_bsd, and dde_ipxe repos * built the image - success * dd'ed it onto /dev/sdb (when sdb was the SSHD - sheesh) Booting and running Sculpt: * F12, select the SSHD * Storage->storage-achi-1->partition 3 (GENODE)- expand runs 3 passes (takes a couple of minutes): max 7452 ExtXXXX... max 157 RelXXXX... max 1 resizefs: Illegal doubly indirect block found Please run e2fsck -fy /dev/block to Fix Note: this happens with either of two 1TB drives I use. * run CHECK the first check fails, the second succeeds This error occurs a couple of times, but it's apparently not fatal: [runtime -> ahci-1.3 mke2fs] Error: no plugin found for socket() * run FORMAT (if I don't genode complains about space) this takes several minutes a couple more[runtime -> ahci-1.3 mke2fs] Error: no plugin found for socket() * select USE [runtime] child "depot" announces service "File system" [runtime -> prepare -> bash] Error: no plugin found for fnctl(X) where X is 3, 4, ..., 19 [runtime -> ahci-1.3.fs] Warning: attempt to handle the same signal context twice (nested) [runtime] child "prepare" exited with exit value 0 This doesn't appear to be fatal * connect to network (ethernet) [runtime -> nic_drv] snprintf not implemented not fatal * connect to depot + -> Depot -> Selection -> genodelabs fetches with no errors [runtime -> update] Warning: dynamic configured RAM exceeds available RAM not fatal * install themed wm, sticks blue backdrop, system clock pc, bsd audio drv, falkon * browse to youtube, click on a video, be amazed that it plays and that sound comes out of the speakers! Does this sound like the right steps or did I err in some way that just happened to work out? Now that things are "working," I'm afraid to shut down the system - which brings me to my next question - is there an FAQ that answers questions like: * How do I shutdown gracefully? * How do I increase the size of the fonts (that log has tiny print, thankfully vim is easier to read in inspect)? * Will I lose my component setup on reboot? I am plowing through the documentation, which is quite good, by the way, but it's a slow go. I'm also working my way through the genodians posts. I'm reminded of Borland's early "Sip through the Firehose" blog. Will

1 0

post metal install issue - invalid download url empty
by Will Senn 27 Dec '22

27 Dec '22

I got Sculpt working on my T430 on metal. I'm able to boot to the gui and expand my storage, format it, use it, connect to ethernet, and add genode-labs depot. However, when I click on themed-wm, it just hangs. When I inspect the log, it says: [runtime -> update -> manager] Warning: fetchurl got stuck, respawning [runtime -> update -> manager] Error: invalid download URL for depot user:<empty/> Thoughts? Thanks, Will

3 5

Build issue
by Will Senn 26 Dec '22

26 Dec '22

OK. I'm trying to build Sculpt. I'm a naive newb, so I appreciate your patience as I come up to speed. Below are the details of my exploration into this new world. I've made progress through trial and error, but I've hit the following show stopper (I can't riddle out how to get around it). I definitely don't know the environment well enough yet: make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc ---------- Error: recipe for 'pkg/bsd_audio_drv' not found - unable to guess version make: *** [Makefile:431: run/sculpt] Error 1 make: Leaving directory '/home/wsenn/genode/build/x86_64' ---------- I've searched and seen something about audio and VM not being supported, which is fine by me. I don't need audio in the VM, I'm just trying to convince myself that I can build an ISO :). Based on correspondence with Norman, I'm starting with Build a Bootable Image. My dev/test setup: 2012 Macbook Pro running Mojave 10.14.6, 16GB RAM, i7 core 2.6 ghz Virtualbox 6.1.40 running Debian 11.6 "Bullseye" w/guest additions enabled for sharing and clipboard with my Mac Below is the process I followed, in detail (it did take me a bit to find the recommended setup - expect et al, but when I did, I just installed everything in that list). Feel free to skip - it's long... # Download 11.6 "bullseye" netinst aria2c https://gemmei.ftp.acc.umu.se/debian-cd/current/amd64/iso-cd/debian-11.6.0-… Virtualbox 6.1.40 on my MacBook Pro 8GB RAM 2 CPUs 20GB HDD ~/shared attach ISO # do text mode install * Debian desktop environment * Cinnamon (relatively lightweight and works) * standard system utilities # add user to sudoers su - visudo add NOPASSWD to sudo group line... NOPASSWD:ALL # add user to sudo group usermod -a -G sudo wsenn logout and back in (actually required a restart) # update apt package list sudo apt update # install vbox dependencies: # dkms, linux-headers # install basic apps for dev: # git-gui and vim # install build system dependencies: # xref: Recommended development environment in # Genode Foundations Getting Started # qemu xorriso gdisk e2tools byacc autoconf autogen # bison flex expect gperf libxml2-utils subversion xsltproc sudo apt install dkms linux-headers-$(uname -r) \ git-gui vim \ qemu xorriso gdisk e2tools byacc autoconf \ autogen bison flex expect gperf libxml2-utils \ subversion xsltproc # as regular user set vim as default editor sudo update-alternatives --config editor # pick vim.basic # turn off mouse nonsense in vim vi ~/.vimrc set mouse-=a # configure guest additions in vbox - Devices->Insert Guest Additions CD Image # mount the cd sudo mount /dev/cdrom /mnt cd /mnt sudo sh ./VBoxLinuxAdditions.run mkdir ~/shared sudo vi /etc/fstab shared /home/wsenn/shared vboxsf defaults 0 0 sudo vi /etc/modules vboxsf sudo shutdown -r now ls ~/shared Enable shared clipboard - both directions # install the toolchain in /usr/local/genode cd ~/Downloads wget -O genode-toolchain-21.05-x86_64.tar.xz https://sourceforge.net/projects/genode/files/genode-toolchain/21.05/genode… sudo tar xvPf genode-toolchain-21.05-x86_64.tar.xz # clone the source and switch to the 22.10 release branch cd git clone https://github.com/genodelabs/genode.git cd genode git checkout -b sculpt-22.10 sculpt-22.10 # get nova kernel files ./tool/depot/download genodelabs/bin/x86_64/base-nova/2022-10-11 # get other dependencies ./tool/depot/download genodelabs/pkg/x86_64/sculpt/2022-10-13 ------------ download genodelabs/src/vim-minimal/2022-08-30.tar.xz download genodelabs/src/vim-minimal/2022-08-30.tar.xz.sig xz: (stdin): Unexpected end of input tar: Unexpected EOF in archive tar: Unexpected EOF in archive tar: Error is not recoverable: exiting now make[1]: *** [/home/wsenn/genode/tool/depot/mk/downloader:45: /home/wsenn/genode/depot/genodelabs/src/vim-minimal/2022-08-30] Error 2 ------------ reran ./tool/depot/download genodelabs/pkg/x86_64/sculpt/2022-10-13 ./tool/depot/download genodelabs/pkg/x86_64/drivers_managed-pc/2022-10-11 ./tool/depot/download genodelabs/pkg/x86_64/wifi/2022-10-13 ./tool/depot/download genodelabs/bin/x86_64/ipxe_nic_drv/2022-10-11 ./tool/create_builddir x86_64 vi build/x86_64/etc/build.conf # enable parallel thread in make MAKE += -j4 # enable ccache CCACHE := yes # enable depot updates RUN_OPT += --depot-auto-update # change iso to disk in QEMU_RUN_OPT QEMU_RUN_OPT := --include power_on/qemu --include log/qemu --include image/iso # enable libports, ports, dde_linux, dde_rump, gems, pc, and dde_ipxe repos # prep grub ./tool/ports/prepare_port grub2 # try the build make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc ---------- Error: Ports not prepared or outdated: bash coreutils curl dde_ipxe dde_linux dde_rump e2fsprogs-lib gnupg jitterentropy libarchive libc libgcrypt libnl libpng libssh linux ncurses nova openssl stb vim wpa_supplicant x86emu xz zlib You can prepare respectively update them as follows: /home/wsenn/genode/tool/ports/prepare_port bash coreutils curl dde_ipxe dde_linux dde_rump e2fsprogs-lib gnupg jitterentropy libarchive libc libgcrypt libnl libpng libssh linux ncurses nova openssl stb vim wpa_supplicant x86emu xz zlib ---------- ./tool/ports/prepare_port bash coreutils curl dde_ipxe dde_linux dde_rump e2fsprogs-lib gnupg jitterentropy libarchive libc libgcrypt libnl libpng libssh linux ncurses nova openssl stb vim wpa_supplicant x86emu xz zlib # retry the build make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc ---------- Error: Ports not prepared or outdated: linux-firmware ttf-bitstream-vera You can prepare respectively update them as follows: /home/wsenn/genode/tool/ports/prepare_port linux-firmware ttf-bitstream-vera ---------- ./tool/ports/prepare_port linux-firmware ttf-bitstream-vera # retry the build make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc ---------- /usr/bin/bash: /home/wsenn/genode/repos/base/../../tool/check_abi: /usr/bin/tclsh: bad interpreter: No such file or directory ---------- sudo ln -s /usr/bin/tclsh8.6 /usr/bin/tclsh # retry the build make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc ---------- Error: recipe for 'pkg/bsd_audio_drv' not found - unable to guess version make: *** [Makefile:431: run/sculpt] Error 1 make: Leaving directory '/home/wsenn/genode/build/x86_64' ---------- Dunno what to do about that.

2 3

building on linux
by Will Senn 26 Dec '22

26 Dec '22

OK. So... I'm trying to build Sculpt OS from source to create a USB image I can boot from with a few changes to the wifi driver, per Colin's suggestion. I've read the Getting Started and Sculpt Documents: https://genode.org/documentation/genode-foundations/22.05/getting_started/i… and https://genode.org/documentation/articles/sculpt-22-10 just the sections pertaining to building. I've also watched this video - https://www.youtube.com/watch?v=7g8hDQQt-VI It's all a little confusing for newbs, so I'm gonna ask y'all in the hopes that you can help clear things up... 1. What distro (exactly) do y'all use - it says Ubuntu LTS in the docs - so Ubuntu 22.04.1 LTS is the current version - is that it? I have the luxury of picking whatever I like (thankfully, I'm a debian user, so Ubuntu/Mint/Debian are fine with me) 2. If I want to change out the wifi firmware and edit the config files, do I need to just tweak the files and build the bootable image or do I need to do the build Sculpt from source thing? Thanks, Will

3 3

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users