users

users@lists.genode.org

1 participants
2310 discussions

#genode IRC channel now on libera.chat
by Josef Söntgen 06 Jul '21

06 Jul '21

Hello, as the subject line already reveals, we switched the IRC network and are now domiciled on libera.chat [1]. You are free to drop by and join the #genode channel via the web-client [2] without prior registration for one or the other round of Genode-related smalltalk. [1] https://libera.chat [2] https://web.libera.chat/#genode Regards Josef -- Josef Söntgen Genode Labs http://www.genode-labs.com/ · http://genode.org/

1 0

Error: LD: symbol not found: '__data_start'
by Alexander Tormasov 21 Jun '21

21 Jun '21

when running test application I encounter a new problem of dynamic linker [init -> test-go] 0x1000000 .. 0x10ffffff: linker area [init -> test-go] Error: LD: symbol not found: '__data_start' [init -> test-go] Error: Uncaught exception of type 'Linker::Not_found' any ideas how to fix? seems that main binary test-go do have a weak ref to this symbol as nm show: w __data_start in some places of new code appeared after 10.3 gcc I found extern const char __data_start[] __attribute__ ((weak)); where I can add it, in what ld script? Sincerely, Alexander

3 8

Found something
by Uwe 19 Jun '21

19 Jun '21

I have found a testable(!),small(!) TCB implementation of TLS. Would it be cool if genode had a verified(!), isolated(!) daemon, that does all things related to external communication, of course encrypted?

1 0

21.05 toolchain C tls variables compilation problem
by Alexander Tormasov 11 Jun '21

11 Jun '21

small c file: typedef int G; __thread G *g __asm__("" "runtime.g"); G* runtime_g(void) __attribute__ ((noinline, no_split_stack)); G* runtime_g(void) { return g; } during compilation using genode-x86-gcc 10.3 error in asm (and checked genode-x86-as as well): tt1.s: Assembler messages: tt1.s:22: Error: junk at end of line, first unrecognized character is `*' tt1.s:25: Error: unrecognized symbol type "" tt1.s:25: Error: junk at end of line, first unrecognized character is `*' tt1.s:26: Error: expected comma after name `__emutls_v.' in .size directive tt1.s:27: Error: invalid character '*' in mnemonic tt1.s:13: Error: invalid operands (*UND* and *UND* sections) for `*’ generated asm: .file "tt1.c" .text .globl runtime_g .type runtime_g, @function runtime_g: .LFB0: .cfi_startproc pushq %rbp .cfi_def_cfa_offset 16 .cfi_offset 6, -16 movq %rsp, %rbp .cfi_def_cfa_register 6 movl $__emutls_v.*runtime.g, %edi call __emutls_get_address movq (%rax), %rax popq %rbp .cfi_def_cfa 7, 8 ret .cfi_endproc .LFE0: .size runtime_g, .-runtime_g .globl __emutls_v.*runtime.g ^^^^^^^ first error line ^^^^^^^^^^^^^^^^^ .data .align 32 .type __emutls_v.*runtime.g, @object .size __emutls_v.*runtime.g, 32 __emutls_v.*runtime.g: .quad 8 .quad 8 .quad 0 .quad 0 .ident "GCC: (GNU) 10.3.0"

3 7

depot/extract: make: execvp: bash: Argument list too long
by Roman Iten 09 Jun '21

09 Jun '21

Hello Genodians Our continuous integration pipeline is split into several stages which correspond with the Genode depot tools. The artifacts created by the depot tool are passed to the subsequent stages: - "Extract"-stage: extract all API/source archives. - "Build"-stage: build binary archives from the source archives extracted during the previous stage. For each architecture (arm_v7a, arm_v8a, x86_64, etc.) a dedicated build job is triggered. These jobs run in parallel and possibly on different hardware. - "Run"-stage: execute the run scripts. Everything is "imported from depot" so that nothing needs to be compiled during this stage. - "Publish"-stage: publish API/source/binary/package archives For the "Build"-stage, we introduced meta packages like "pkg/gapfruit_ci-x86_64", "pkg/gapfruit_ci-arm_v7a", etc. that include every archive we want to build for that architecture. These meta-packages are also used by the "Extract"-stage, so that for example `tool/depot/extract rite/pkg/gapfruit_ci-x86_64 rite/pkg/gapfruit_ci-arm_v7a` can be called. Now that the number of archives became too large and `depot/extract` complains: `make: execvp: bash: Argument list too long`. Apparently, the aggregated argument list passed to `make` contains every archive including all dependencies. Duplicates (packages and dependencies that are build for x86_64 as well as arm_v7a, etc.) are not removed. Is this currently a limitation of the `tool/depot/extract`? Before I try my luck to tackle it myself, I'd appreciate every hint how to do so. Or am I using `depot/extract` wrong? Do you see an alternative regarding the use case described above? Thanks Roman PS, I disabled the dependency check in `tool/depot/mk/dependencies.inc` completely. See the discussion [1,2] on the Genode mailing list. [1] https://lists.genode.org/pipermail/users/2018-May/006079.html [2] https://lists.genode.org/pipermail/users/2018-June/006085.html

4 5

Partitioning Fun Finale (Re: I am having some strange difficulty formatting a GPT partition within Sculpt)
by baconicsynergy＠protonmail.ch 04 Jun '21

04 Jun '21

It seems my plans for Genode to fit in my partition scheme can come to fruition after all :) Martin: > 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. It worked! I was able to format the final partition for use with Genode. John: > In my experience, the ISO image works fine if you burn it to a CD-ROM or > use it as a virtual CD in a VM. But if you want to copy it to a USB > stick, you need to switch to creating a bootable disk image by changing > the line in "build.conf" from: > > QEMU_RUN_OPT := --include power_on/qemu --include log/qemu --include > image/iso > > to: > > QEMU_RUN_OPT := --include power_on/qemu --include log/qemu --include > image/disk That did the trick too. This is actually in the instructions in the link Christian gave me: > With pleasure I'd like to refer you to > https://genode.org/documentation/articles/sculpt-21-03#Building_the_boot_im… Thanks everyone! I'm going to experiment a little bit now and study as much Genode as I can baconicsynergy

2 1

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

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users