users May 2021

users@lists.genode.org

11 participants
7 discussions

filesystem testing
by Stefan Thöni 01 Jun '21

01 Jun '21

Hello Genodians, we have a requirement for additional filesystem tests especially to measure performance and check reliability in reset/crash scenarios. The tests should be modular to cover different file systems and block devices including CBE as well as different platforms to detect any regressions. Would such tests be generally welcome as an upstream contribution to the genode framework from us? If so, I would then create an issue in the genode project at github to discuss the best way to go about this. Bests Stefan -- Freundliche Grüsse Stefan Thöni Chairman of the Board Senior Security Architect +41 79 610 64 95 gapfruit AG Baarerstrasse 135 6300 Zug https://gapfruit.com

2 3

Announcement: Genode OS Framework version 21.05 released
by Christian Helmuth 31 May '21

31 May '21

As always the new release comes with many changes, of which the Webcam support and the File Vault are the most notable highlights. The new webcam feature enables the use of Genode-based systems like Sculpt OS in currently prevailing settings of remote and home-office work. The ingredients (described in more detail in the release notes) are the native USB video class driver based on libuvc, which connects to its clients via a dedicated Nitpicker instance as capture bridge, our custom webcam model plugged into the ported Qemu XHCI model for VirtualBox, and the considerably improved support for isochronous USB transfers. The latter permits using a standard USB headset in a plug-and-play fashion directly from the guest OS. Now, online conferencing ready-to-use in a setting familiar to users with well-known tools and guest operating systems. With the new File Vault Genode 21.05 brings a east-to-deploy component for native encrypted data storage. The vault is based on the consistent block encrypter (CBE) in combination with ext2 for file-based access. It comes with a graphical front end that aims at making the creation, use, and maintenance as intuitive and secure as possible. Last but not least, the Genode Foundations book got its annual update and comes now with a companion - Genode Platforms. The new book complements Foundations with low-level hardware-related topics and is primarily intended for integrators and developers of device drivers. The topics of the current release are: - Webcam support - Tool chain updated to GCC 10.3 and Binutils 2.36 - New documentation "Genode Platforms" - File vault based on the CBE encrypter - Genode/Linux on 64-bit ARM - I2C and reset-domain support for i.MX8 - Network driver on RISC-V - Evolving support for the Pine-A64-LTS board - New tools for porting Linux drivers The complete release documentation can be found at the usual place https://genode.org/documentation/release-notes/21.05 Happy hacking -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

I am having some strange difficulty formatting a GPT partition within Sculpt
by baconicsynergy＠protonmail.ch 27 May '21

27 May '21

(Forgive me for the improperly formatted reply, I just now properly registered to the users list and subscribed to the mailing list) My friend, I was not expecting such a quick reply, much less a fix. Thank you very much! I'm almost certain this is exactly what is going on. I haven't manually compiled Genode or used run scripts to build images in a very long time, but I'm going to try to learn again - I've already setup a proper Genode development environment again in a virtual machine based on the latest Ubuntu LTS release to try to build an image based on your modification. I set up my build directory, edited build.conf to the best of my ability and ran "make run/sculpt KERNEL=nova BOARD=pc". Unfortunately, the .iso image that is produced is unbootable. Is there a guide or article somewhere describing how to properly build a Sculpt image? I must be making a silly mistake somewhere. Genode to the moon! baconicsynergy > Hi baconicsynergy, > > I'm not an expert regarding this, but it seems that the Sculpt Manager > doesn't expect more than 9 partions on a disk. In > repos/gems/src/app/sculpt_manager/model/storage_device.h, in the > part_block configuration in line 228, it generates policies for > partition labels 1-9. This is why your part_block rejects the mke2fs > session request for the partition with "no policy defined for label > '12'". Consequently, your mke2fs dies with "Block-session creation > failed" and "No such file or directory". > > I created a quickfix on my branch > https://github.com/m-stein/genode/tree/sculpt-21.03b-baconicsynergy. > Could you give it a try? I hope this is the only place where the Sculpt > Manager assumes such a limit. Maybe we should come up with a more > generic solution to this problem. > > Cheers, > Martin

4 3

I am having some strange difficulty formatting a GPT partition within Sculpt
by baconicsynergy＠protonmail.ch 23 May '21

23 May '21

Hello friends!! Lately, I've taken to multi-booting a whole bunch of different operating systems on my Thinkpad x250 with my new 1TB SSD for educational purposes. And, I find it very humorous to have such a varied collection of OS's and I enjoy finding ways to get them to play nice with each other. So far I've multibooted Solaris 11, Windows 10, OpenBSD 6.9, Arch Linux, Ubuntu Studio 21.04, Rocky Linux 8.3, Haiku R1/Beta2, in that order, and I've saved the last partition for Genode. I'm using rEFInd as my boot loader. Here is my gdisk output for my SSD: GPT fdisk (gdisk) version 1.0.6 Partition table scan: MBR: protective BSD: not present APM: not present GPT: present Found valid GPT with protective MBR; using GPT. Disk /dev/sda: 1953525168 sectors, 931.5 GiB Model: CT1000BX500SSD1 Sector size (logical/physical): 512/512 bytes Disk identifier (GUID): EEBD44A5-B5DA-7244-965D-F4FB68FCEB64 Partition table holds up to 128 entries Main partition table begins at sector 2 and ends at sector 33 First usable sector is 34, last usable sector is 1953525134 Partitions will be aligned on 256-sector boundaries Total free space is 10206 sectors (5.0 MiB) Number Start (sector) End (sector) Size Code Name 1 2048 4196351 2.0 GiB EF00 EFI System Partition 2 4196352 109037311 50.0 GiB BF01 3 109037312 109053951 8.1 MiB BF07 4 109053952 109086719 16.0 MiB 0C01 Microsoft reserved ... 5 109086720 633341951 250.0 GiB 0700 Basic data partition 6 633341952 1052772351 200.0 GiB A600 OpenBSD disklabel 7 1052772352 1577060351 250.0 GiB 8300 Linux filesystem 8 1577060352 1593837567 8.0 GiB 8200 Linux swap 9 1593837568 1761609727 80.0 GiB 8300 10 1761609728 1845487615 40.0 GiB 8300 11 1845495808 1897924607 25.0 GiB EB00 Haiku BFS 12 1897924608 1953525134 26.5 GiB 0700 Microsoft basic data When I attempt to format the final partition from within Sculpt 21.03b, I get a strange error: ... [runtime] child "ahci-0.part_block"[0m [runtime] RAM quota: 7944K[0m [runtime] cap quota: 66[0m [runtime] ELF binary: part_block[0m [runtime] priority: 2[0m [runtime] provides service Block[0m [runtime] child "ahci-0.12.mke2fs"[0m [runtime] RAM quota: 102152K[0m [runtime] cap quota: 466[0m [runtime] ELF binary: mke2fs[0m [runtime] priority: 2[0m [runtime -> ahci-0.part_block] Partition 1: LBA 2048 (4194304 blocks) type: 'c12a7328-f81f-11d2-ba4b-00a0c93ec93b' name: 'EFI System Partition'[0m [runtime -> ahci-0.part_block] Partition 2: LBA 4196352 (104840960 blocks) type: '6a898cc3-1dd2-11b2-99a6-080020736631' name: ''[0m [runtime -> ahci-0.part_block] Partition 3: LBA 109037312 (16640 blocks) type: '6a945a3b-1dd2-11b2-99a6-080020736631' name: ''[0m [runtime -> ahci-0.part_block] Partition 4: LBA 109053952 (32768 blocks) type: 'e3c9e316-0b5c-4db8-817d-f92df00215ae' name: 'Microsoft reserved partition'[0m [runtime -> ahci-0.part_block] Partition 5: LBA 109086720 (524255232 blocks) type: 'ebd0a0a2-b9e5-4433-87c0-68b6b72699c7' name: 'Basic data partition'[0m [runtime -> ahci-0.part_block] Partition 6: LBA 633341952 (419430400 blocks) type: '824cc7a0-36a8-11e3-890a-952519ad3f61' name: 'OpenBSD disklabel'[0m [runtime -> ahci-0.part_block] Partition 7: LBA 1052772352 (524288000 blocks) type: '0fc63daf-8483-4772-8e79-3d69d8477de4' name: 'Linux filesystem'[0m [runtime -> ahci-0.part_block] Partition 8: LBA 1577060352 (16777216 blocks) type: '0657fd6d-a4ab-43c4-84e5-0933c84b4f4f' name: 'Linux swap'[0m [runtime -> ahci-0.part_block] Partition 9: LBA 1593837568 (167772160 blocks) type: '0fc63daf-8483-4772-8e79-3d69d8477de4' name: ''[0m [runtime -> ahci-0.part_block] Partition 10: LBA 1761609728 (83877888 blocks) type: '0fc63daf-8483-4772-8e79-3d69d8477de4' name: ''[0m [runtime -> ahci-0.part_block] Partition 11: LBA 1845495808 (52428800 blocks) type: '42465331-3ba3-10f1-802a-4861696b7521' name: 'Haiku BFS'[0m [runtime -> ahci-0.part_block] Partition 12: LBA 1897924608 (55600527 blocks) type: 'ebd0a0a2-b9e5-4433-87c0-68b6b72699c7' name: 'Microsoft basic data'[0m [runtime] child "ahci-0.part_block" announces service "Block"[0m [runtime -> ahci-0.part_block] [34mWarning: no policy defined for label '12'[0m [runtime -> ahci-0.part_block] [31mError: rejecting session request, no matching policy for '12'[0m [runtime -> ahci-0.12.mke2fs] [31mError: Block-session creation failed (ram_quota=145408, cap_quota=5, tx_buf_size=131072, label="default")[0m [runtime -> ahci-0.12.mke2fs] [31mError: failed to create <block> VFS node[0m [runtime -> ahci-0.12.mke2fs] [31mError: name="block"[0m [runtime -> ahci-0.12.mke2fs] [31mError: label="default"[0m [runtime -> ahci-0.12.mke2fs] [31mError: block_buffer_count="128"[0m [runtime -> ahci-0.12.mke2fs] mke2fs 1.42.9 (28-Dec-2013) [runtime -> ahci-0.12.mke2fs] mkfs.ext2: No such file or directory while trying to determine filesystem size [runtime] child "ahci-0.12.mke2fs" exited with exit value 1[0m [leitzentrale -> manager] [31mError: file-system creation failed[0m ... I really want Genode to take part in this wonderful collection I've built. I wonder why it won't format?

2 1

IRC chit chat
by baconicsynergy＠protonmail.ch 23 May '21

23 May '21

There's so much computer science and Genode stuff that I want to talk about, much of which I think would be more appropriate in IRC than a professional environment like this mailing list. It seems like people are migrating to Libera.chat or OFTC due to the recent legal issues with Freenode. Sounds dicey - I'm not looking to stir up debate, but I suppose it is something worth meditating on. I personally use OFTC the most to chat with my Alpine Linux and OpenBSD friends. or... perhaps we can blast into the future with an official Matrix channel. Who knows?

1 0

how to debug gdb?
by Alexander Tormasov 11 May '21

11 May '21

I have an application which run somehow normally. I try to run it via gdb, using the following run file attached below (which works in the past). And now I have a problem with quota (see log below), after this message it just hangs, and my attempts to update figures in run file lead to nothing, same err. I found that in general it try to upgrade session quota as a result of rpc call return, but why? what particular parameter responsible for it? How I can find the reason? e.g. print current cap used/etc? Booting from Hard Disk... Boot failed: could not read the boot disk Booting from DVD/CD... Bender: Hello World. NOVA' NOVA Microhypervisor v8-98b501b (x86_64): Apr 7 2021 23:34:52 [gcc 8.3.0] [MBI2] [ 0] TSC:2011222 kHz BUS:1007275 kHz (measured) [ 0] CORE:0:0:0 6:f:b:0 [0] Intel(R) Core(TM)2 Duo CPU T7700 @ 2.40GHz [ 1] CORE:1:0:0 6:f:b:0 [0] Intel(R) Core(TM)2 Duo CPU T7700 @ 2.40GHz Hypervisor NOVA (API v8) core image [0000000000100000,0000000000cef000) binaries region [000000000029d000,0000000000cef000) free for reuse detected physical memory: 0x0000000000000000 - size: 0x000000000009fc00 use physical memory: 0x0000000000000000 - size: 0x000000000009f000 detected physical memory: 0x0000000000100000 - size: 0x00000000242df000 use physical memory: 0x0000000000100000 - size: 0x00000000242df000 reserved memory: 0x237ee000 - size: 0xbf02f0 type=-2 reserved memory: 0x9fc00 - size: 0x400 type=2 reserved memory: 0xf0000 - size: 0x10000 type=2 reserved memory: 0x243df000 - size: 0x21000 type=2 reserved memory: 0xb0000000 - size: 0x10000000 type=2 reserved memory: 0xfed1c000 - size: 0x4000 type=2 reserved memory: 0xfffc0000 - size: 0x40000 type=2 reserved memory: 0xfd000000 - size: 0x300000 type=-5 reserved memory: 0x1000000 - size: 0x800000 type=-1 reserved memory: 0x1800000 - size: 0x1c00000 type=-1 reserved memory: 0x243e2152 - size: 0x0 type=-3 Hypervisor reports 2x1 CPUs Warning: CPU has no invariant TSC. mapping: affinity space -> kernel cpu id - package:core:thread remap (0x0) -> 0 - 0:0:0) boot cpu remap (1x0) -> 1 - 1:0:0) ROM modules: ROM: [000000002398c000,000000002398c5e1) config ROM: [000000000000f000,0000000000013000) core_log ROM: [00000000242f5000,00000000243b88e0) gdb_monitor ROM: [00000000243b9000,00000000243dd0c8) gdbserver_platform.lib.so ROM: [000000002398d000,00000000239ed940) init ROM: [0000000023a0d000,0000000023b0b3a8) ld.lib.so ROM: [0000000023b0c000,0000000023ce88e8) libc.lib.so ROM: [0000000023ce9000,0000000023d23d40) libm.lib.so ROM: [00000000242b4000,00000000242d4a20) pc_uart_drv ROM: [000000000000d000,000000000000e000) platform_info ROM: [0000000023d24000,0000000023d34fb0) posix.lib.so ROM: [0000000023d35000,0000000023eea148) stdcxx.lib.so ROM: [0000000023f87000,00000000242b3ac0) test-go ROM: [00000000239ee000,0000000023a0c240) timer ROM: [0000000023eeb000,0000000023f86628) vfs.lib.so ROM: [00000000242d5000,00000000242f4b18) vfs_pipe.lib.so 36M kernel memory Genode 20.11-203-g9c8a05c12 <local changes> 530 MiB RAM and 63253 caps assigned to init [init] 0x1000000 .. 0x10ffffff: linker area [init] 0x40000000 .. 0x4fffffff: stack area [init] 0x30000 .. 0x161fff: ld.lib.so [init] parent provides [init] service "ROM" [init] service "LOG" [init] service "RM" [init] service "CPU" [init] service "PD" [init] service "IRQ" [init] service "IO_MEM" [init] service "IO_PORT" [init] child "timer" [init] RAM quota: 1800K [init] cap quota: 66 [init] ELF binary: timer [init] priority: 0 [init] provides service Timer [init] child "pc_uart_drv" [init] RAM quota: 1800K [init] cap quota: 66 [init] ELF binary: pc_uart_drv [init] priority: 0 [init] provides service Uart [init] provides service Terminal [init] child "gdb_monitor" [init] RAM quota: 255752K [init] cap quota: 466 [init] ELF binary: gdb_monitor [init] priority: 0 [init] provides service test-go [init -> timer] 0x1000000 .. 0x10ffffff: linker area [init -> gdb_monitor] 0x1000000 .. 0x10ffffff: linker area [init -> pc_uart_drv] --- UART driver started --- [init -> timer] 0x40000000 .. 0x4fffffff: stack area [init -> timer] 0x30000 .. 0x161fff: ld.lib.so [init] child "pc_uart_drv" announces service "Uart" [init] child "pc_uart_drv" announces service "Terminal" [init] child "timer" announces service "Timer" [init -> gdb_monitor] 0x40000000 .. 0x4fffffff: stack area [init -> gdb_monitor] 0x30000 .. 0x161fff: ld.lib.so [init -> gdb_monitor] 0x10c7000 .. 0x10e9fff: gdbserver_platform.lib.so [init -> gdb_monitor] 0x10e0c000 .. 0x10ffffff: libc.lib.so [init -> gdb_monitor] 0x10d70000 .. 0x10e0bfff: vfs.lib.so [init -> gdb_monitor] 0x10d36000 .. 0x10d6ffff: libm.lib.so [init -> gdb_monitor] 0x10ea000 .. 0x12a1fff: stdcxx.lib.so [init -> pc_uart_drv] open IRQ 3 [init -> pc_uart_drv] [init -> pc_uart_drv] Warning: baud_rate 0 not supported, set to default [init -> pc_uart_drv] [init -> gdb_monitor] 0x10d0f000 .. 0x10d2dfff: vfs_pipe.lib.so … [init -> gdb_monitor] Warning: unsupported ioctl (request=0x40047477) [init -> gdb_monitor] Warning: unsupported ioctl (request=0x80047476) [init -> gdb_monitor] Process target created; pid = 1 [init -> gdb_monitor] Remote debugging using /dev/terminal [init -> gdb_monitor] Error: fcntl(): command 6 not supported - vfs … [init -> gdb_monitor] Warning: Pd_session::transfer_quota not implemented [init -> gdb_monitor] upgrading quota donation for PD session (0 bytes, 4 caps) [init] child "gdb_monitor" requests resources: ram_quota=0, cap_quota=4 run file: <config verbose="yes" ld_verbose="yes"> <parent-provides> <service name="ROM" /> <service name="LOG" /> <service name="RM" /> <service name="CPU" /> <service name="PD" /> <service name="IRQ" /> <service name="IO_MEM" /> <service name="IO_PORT" /> </parent-provides> <default-route> <any-service> <parent/> <any-child/> </any-service> </default-route> <default caps="250" /> <start name="timer" caps="100"> <resource name="RAM" quantum="2M"/> <provides> <service name="Timer"/> </provides> </start> <start name="pc_uart_drv" caps="100"> <resource name="RAM" quantum="2M" /> <provides> <service name="Uart"/> <service name="Terminal"/> </provides> <config> <policy label_prefix="gdb_monitor" uart="1" /> </config> </start> <start name="gdb_monitor" caps="500"> <resource name="RAM" quantum="250M" /> <provides> <service name="test-go" /> </provides> <config verbose="yes" ld_verbose="yes"> <target name="test-go" > <config verbose="yes" ld_verbose="yes"> <vfs> <dir name="dev"> <log /> </dir> <dir name="proc"> <dir name="self"> <rom name="exe" label="test-go"/> </dir> </dir> </vfs> <libc stdout="/dev/log" stderr="/dev/log" /> </config> </target> <preserve name="RAM" quantum="50M" /> <vfs> <dir name="dev"> <log/> <terminal/> </dir> <dir name="pipe"> <pipe/> </dir> </vfs> <libc stdout="/dev/log" stderr="/dev/log" pipe="/pipe"/> </config> </start> </config>

6 16

Announcement: Sculpt OS 21.03 released
by Norman Feske 03 May '21

03 May '21

Hello everyone, we just released the new version 21.03 of Sculpt OS today! You can find a fresh system image at the Sculpt download page: https://genode.org/download/sculpt Of course, the new version comes with updated documentation: https://genode.org/documentation/articles/sculpt-21-03 https://genode.org/documentation/sculpt-21-03.pdf (PDF) You can find the official news announcement at: https://genode.org/news/sculpt-os-release-21.03 To get a quick overview of the most prominent changes, please have a look at the following article: https://genodians.org/nfeske/2020-09-17-sculpt-os Have fun sculpting! 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

2 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users May 2021