users

users@lists.genode.org

2 participants
2322 discussions

link error when trying to run XS JavaScript engine
by Dan Connolly 10 Aug '21

10 Aug '21

XS is a JavaScript engine designed for microcontrollers. I have been working on getting it running under genode in fits and starts. https://github.com/dckc/genode-js-xs In my most recent episode, I can get goa build to work, but when I try goa run, I get: [init -> genode-js-xs] Error: LD: ELF without DYNAMIC segment appears to be statically linked (ld="no") `file hello` says: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked, interpreter ld.lib.so, with debug_info, not stripped I put the full link command in https://github.com/dckc/genode-js-xs/pull/12 Any clues on how to diagnose / fix? What does (ld="no") mean? -- Dan Connolly http://www.madmode.com/

3 3

How to switch thread stack between threads?
by Alexander Tormasov 21 Jul '21

21 Jul '21

Hello, I see that it is possible to have 1 thread with multiple stacks, using alloc_secondary_stack() call. But if I want to switch stack From one OS thread to another one for setcontext()? Stack do contain hidden data related to Stack structure and to the native UCB (completely opaque). If I try to use it, it try to find stored structure which contains thread reference, which point to old thread. I need to point it to the new thread In particular , it interfere with thread local storage TLS data, it use wrong content from old thread because it use stack content for thread identification , and fail… How to do this, any ideas? I can’t re-create it - it contains state of the thread , not the best idea to copy content of stack during every context switch … Alexander Отправлено с iPhone

2 12

#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

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users