users

users@lists.genode.org

2 participants
2322 discussions

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

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

Re: Workflows
by Colin Parker 24 Dec '22

24 Dec '22

2 1

Workflows
by Will Senn 23 Dec '22

23 Dec '22

Hi, I have been watching the genode project for quite a while now - seems like at least 10 years, if not more. I have tried it off and on, over the years, but until recently didn't really give it more than a quick run through. Now, I'm getting more interested. I've got a Thinkpad T430 and it seems to mostly work with Sculpt 22.10 running on a 32GB USB 3 drive. I have a few questions: 1. Is Wifi on the T430 supposed to work? I couldn't get it to do more than scanning. There are some teensy tiny error messages in the logs, so if it helps I could get out my magnifier and share them, but if there's a known issue, I figured y'all would know that without the specific error message. The wired connection works, so I'm ok with that as a fallback (but it makes it less mobile). 2. Persistence - what about persistence? I picked the ram-fs per the getting started document, but I would like to save SOME stuff- say bookmarks and source code, how do I do that? 3. I read that the genode folks use Sculpt as their daily drivers - so I'm guessing they don't boot from USB, build their environment up from scratch, add in firefox, terminal, whatever and so on, every day, just to start doing other productive things. Is there somewhere where typical workflows are described? Oh, and thanks for doing this - I like the modularity and exposed dependencies. Thanks, Will

3 4

fec_nic_drv runtime error in Genode 22.11
by Pontus Åström 22 Dec '22

22 Dec '22

I upgraded genode-imx and genode to version 22.11 for my IMX project. As per the drivers.config example in genode-imx/recipes/raw/drivers_nic-imx8q_evk/drivers.config I added a new ROM service for the nic_drv.dtb as follows: <service name="ROM" label="nic_drv.dtb"><parent label="fec_nic_drv-imx8q_evk.dtb"/> My fec_nic config now looks like as follows: <start name="eth0_drv" caps="130" priority="0"> <binary name="fec_nic_drv" /> <resource name="RAM" quantum="20M"/> <resource name="CPU" quantum="30"/> <config verbose="yes" mode="uplink_client"/> } <route> <service name="CPU"><parent/></service> <service name="LOG"><parent/></service> <service name="PD"><parent/></service> <service name="RM"><parent/></service> <service name="ROM" label="nic_drv.dtb"> <parent label="fec_nic_drv-imx8q_evk.dtb"/> </service> <service name="ROM"><parent/></service> <service name="Uplink"> <child name="net0_router"/></service> <service name="Timer"> <child name="timer_drv"/></service> <service name="Platform"><child name="platform_drv"/></service> </route> </start> Now everything compiles successfully but I get a runtime setup error where the driver complains about an unavailable IO resource: [init -> eth0_drv] NR_IRQS: 64, nr_irqs: 64, preallocated irqs: 0 [init -> eth0_drv] clocksource: dde_counter: mask: 0xffffffffffffff max_cycles: 0x1d854df40, max_idle_ns: 3526361616960 ns [init -> eth0_drv] sched_clock: 64 bits at 1000kHz, resolution 1000ns, wraps every 2199023255500ns [init -> eth0_drv] clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 7645041785100000 ns [init -> eth0_drv] clocksource: Switched to clocksource dde_counter [init -> eth0_drv] mdio_bus: Fixed MDIO Bus: probed [init -> eth0_drv] Error: memory-mapped I/O resource 0x30be0000 (size=0x10000) unavailable What might be the cause of this error? Best regards, Pontus

3 4

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users