users

users@lists.genode.org

1 participants
2310 discussions

Terminal session raw and unbuffered
by Stefan Thöni 04 Dec '24

04 Dec '24

Hi Genodians I'm trying to use a Terminal session to provide access to a character device (TPM) under base-linux. The reason I'm not using a vfs it that implementing a File_system session server in my lx_chardev component would be unnessecarily complicated for this usage. The problem I encountered it that the vfs_terminal even in raw mode buffers read data thereby issuing longer reads than requested by the application. While this is fine for other more terminal-like usages it doesn't play well inbetween a character device and it's driver. I would suggest either not buffering reads in raw mode or adding an additional "unbuffered" config option. Which would be the preferred option? Whould such a change have the potential to be accepted upstream? Kind regards Stefan

2 1

Foundations book, try to write an .iso on an usb stick, won't work
by Paul Dufresne 03 Dec '24

03 Dec '24

2.4, page 28: As suggested by the arguments, the scenario is supplied to Qemu as an ISO image re- siding at var/run/demo.iso. The ISO image can not only be used with Qemu but also with a real machine. For example, creating a bootable USB stick with the system scenario is as simple as writing the ISO image onto a USB stick: sudo dd if=var/run/demo.iso of=/dev/ bs=8M conv=fsync I am pretty sure it will not work... iso are for DVD, not USB sticks. Guess build.conf need to be edited a bit to make it easier to select a .img by just choosing between two comments lines.

2 4

Still using Python2?
by Paul Dufresne 02 Dec '24

02 Dec '24

Was following https://genode.org/documentation/developer-resources/getting_started [paul@betakard genode]$ LANG=C make -C build/x86_32 KERNEL=okl4 BOARD=pc run/demo make: Entering directory '/home/paul/genode/build/x86_32' including /home/paul/genode/tool/run/power_on/qemu including /home/paul/genode/tool/run/log/qemu including /home/paul/genode/tool/run/image/iso including /home/paul/genode/tool/run/boot_dir/okl4 including /home/paul/genode/repos/os/run/demo.run building targets: app/status_bar test/nitpicker spawn make app/status_bar test/nitpicker make[1]: Entering directory '/home/paul/genode/build/x86_32' Library ld.abi.so Library base.lib.a Program app/status_bar/status_bar Program test/nitpicker/testnit make[1]: Leaving directory '/home/paul/genode/build/x86_32' genode build completed checking configuration syntax CHECK init using 'core-okl4.a' as 'core.a' /usr/bin/env: 'python2': No such file or directory while executing "exec [elfweaver] merge --output "[run_dir]/image.elf" "[run_dir].weaver.xml"" (procedure "run_boot_dir" line 37) invoked from within "run_boot_dir $binaries" (procedure "build_boot_image" line 43) invoked from within "build_boot_image [list {*}[build_artifacts] launchpad.config]" (file "/home/paul/genode/repos/os/run/demo.run" line 218) 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/paul/genode/tool/run/run" line 1209) make: *** [Makefile:446: run/demo] Error 1 make: Leaving directory '/home/paul/genode/build/x86_32' [paul@betakard genode]$ It is becoming hard to install python2. I am using Arch BTW! :-) I tried to insall: https://aur.archlinux.org/packages/python2 but: makepkg ... ==> Validating source files with sha512sums... Python-2.7.18.tar.xz ... Passed Python-2.7.18.tar.xz.asc ... Skipped mtime-workaround.patch ... Passed python-gentoo-patches-2.7.18_p16.tar.xz ... Passed ==> Verifying source file signatures with gpg... Python-2.7.18.tar.xz ... FAILED (unknown public key 04C367C218ADD4FF) ==> ERROR: One or more PGP signatures could not be verified! [paul@betakard python2]$

2 1

compiling got me a sculpt.iso file, wanted a scult.img file
by Paul Dufresne 01 Dec '24

01 Dec '24

make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc got me: [paul@betakard genode]$ ls -lh build/x86_64/var/run total 614M drwxr-xr-x 1 paul paul 8 1 déc 11:19 sculpt -rw-r--r-- 1 paul paul 452M 1 déc 11:19 sculpt.boot_modules.o -rw-r--r-- 1 paul paul 20K 1 déc 11:19 sculpt.config -rw-r--r-- 1 paul paul 163M 1 déc 11:20 sculpt.iso [paul@betakard genode]$ was expecting a sculpt.img file... to put on my USB key. Tried to write the sculpt.iso file on my USB key but it did not boot. What am I missing?

2 2

ports/libc.port:40: *** Need to have 'rpcgen' installed
by Paul Dufresne 01 Dec '24

01 Dec '24

make run/sculpt asked me to prepare libc (among many) but: libarchive install include/libarchive /home/paul/genodemy/genode/repos/libports/ports/libc.port:40: *** Need to have 'rpcgen' installed.. Arrêt. make[1]: *** [/home/paul/genodemy/genode/tool/ports/mk/prepare_single_port.mk:43: _install_in_port_dir] Error 2 make: *** [/home/paul/genodemy/genode/tool/ports/prepare_port:47: libc] Error 2 After that, I cannot return there because: make run/sculpt: Error: Ports not prepared or outdated: dde_rump libc libgcrypt libnl libpng libssh linux linux-firmware ncurses nova openssl stb ttf-bitstream-vera vim wpa_supplicant x86emu xz zlib /home/paul/genodemy/genode/tool/ports/prepare_port dde_rump libc libgcrypt libnl libpng libssh linux linux-firmware ncurses nova openssl stb ttf-bitstream-vera vim wpa_supplicant x86emu xz zlib dde_rump update src/lib/dde_rump dde_rump apply patches/rump.patch dde_rump apply patches/aarch64.patch Reversed (or previously applied) patch detected! Assume -R? [n] Apply anyway? [n] 2 out of 2 hunks ignored -- saving rejects to file src/lib/dde_rump_backport/arm/arm32/kobj_machdep.c.rej make[2]: *** [/home/paul/genodemy/genode/tool/ports/mk/install.mk:128: phony/patches/patches/aarch64.patch] Error 1 make[1]: *** [/home/paul/genodemy/genode/tool/ports/mk/prepare_single_port.mk:43: _install_in_port_dir] Error 2 make: *** [/home/paul/genodemy/genode/tool/ports/prepare_port:47: dde_rump] Error 2 [paul@betakard x86_64]$ Is there a way to unprepare everything to begn to new, after fixing rpcgen not installed (don't know how, asking here)?

2 2

Announcement: Genode OS Framework version 24.11 released
by Norman Feske 22 Nov '24

22 Nov '24

Today, we proudly released version 24.11 of the Genode OS Framework. https://genode.org/news/genode-os-framework-release-24.11 This version delivers the long anticipated support for multi-monitor setups, which motivated an overhaul of the entire GUI stack, from the driver interfaces, over the GUI server(s), up to the application level. A second highlight is the added compatibility to platforms based on the i.MX8MP SoC, in particular the MNT Pocket Reform laptop. Those of you who kept an eye on our previous releases this year may have noticed the successive advances of our Goa SDK. The current release complements this work with a new book "Genode Applications" that puts Goa front and center for the development of applications for Genode and Sculpt OS in particular. The book can be downloaded for free at the https://genode.org website. The improvements of version 24.11 at a glance: - New book "Genode Applications" - Largely revised GUI architecture - Mirrored and panoramic multi-monitor setups - Tickless GUI server and display drivers - Atomic blitting and panning - Support for pointer grabbing - Device drivers and platforms - DDE Linux for i.MX SoCs updated to kernel 6.6 - Platform driver for i.MX 8M Plus - Sculpt OS enabled for the MNT Pocket Reform laptop - Reworked Wifi management - PC audio driver updated to OpenBSD 7.6 - AVX and hardware-based AES in virtual machines - Goa SDK targeting Sculpt OS 24.10 by default Enjoy the entire story as told by the release documentation: https://genode.org/documentation/release-notes/24.11 I wish you a pleasant exploration of Genode 24.11, 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

Sculpt 24.10 alpha testing
by Alexander Boettcher 29 Oct '24

29 Oct '24

Hello Sculpt users, we entered the testing phase for the upcoming Sculpt OS 24.10 release. Before the final release, we like to invite early adopters to give our alpha versions a try and report back experiences (or issues) with their use cases via mail or via the Sculpt 24.10 github issue [0]. The alpha images can be downloaded from the following URLs. https://depot.genode.org/24_10_testing/image The current alpha version is solely for PC at moment: https://depot.genode.org/24_10_testing/image/sculpt-pc-2024-10-15.img.xz https://depot.genode.org/24_10_testing/image/sculpt-pc-2024-10-15.zip Following users already published a valid 24.10 index and additional packages: genodelabs, cproc & alex-ab If you are unfamiliar with the handling of the provided alpha image, please follow the general instructions of [1] for installing the image on a USB stick. Additionally, during the alpha phase, test versions can be retrieved via the "System -> Update" dialog in entry https://depot.genode.org/24_10_testing of the Sculpt installation. [0] https://github.com/genodelabs/genode/issues/5356 [1] https://genode.org/download/sculpt (24.04 version) Happy Sculpting, Alex -- Alexander Boettcher Genode Labs https://www.genodians.org - https://www.genode.org

3 6

missing content on index for my latest genodians.org post
by Pirmin Duss 27 Sep '24

27 Sep '24

Hello Genodians I pushed a new article to my genodian repository (github.com/trimpim/genodian. On the index page no content is displayed. This didn't occur to me while writing, as I always directly looked at the page I edited. I already tried to figure out, what is wrong, so I could push a fixup. I compared the new article to the old one and the title and the first paragraph are formatted about the same. Could anyone give me a hint what could be wrong with my article? Best regards, Pirmin

4 3

Sculpt OS talk on Sept 21st at Datenspuren 2024 in Dresden
by Benjamin Lamowski 19 Sep '24

19 Sep '24

Hi everyone, I am pleased to announce that we will present Sculpt OS at Datenspuren 2024, the annual conference of the local Computer Chaos Club chapter C3D2 on September 21st at 12pm at Zentralwerk Dresden: https://talks.datenspuren.de/ds24/talk/XBNY7R/ It is the 20 year anniversary of the conference and there will be a large variety of interesting presentations, if you're attending make sure to say hi! Best wishes, Ben -- Benjamin Lamowski 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

3 3

Recall: Mounting a Storage to Genode (for base-linux, x86)
by Rumen Mitov 30 Aug '24

30 Aug '24

Rumen.Mitov(a)constructor.tech would like to recall the message, "Mounting a Storage to Genode (for base-linux, x86)".

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users