users January 2023

users@lists.genode.org

27 participants
49 discussions

Re: building sculpt
by Johnny Nunez 16 Jan '23

16 Jan '23

Ok thank you, I will try bison 2 method first , another question, what can I do when i can’t scroll down the screen Sculpt menu is on to set up VM(vbox) from genode repo , those configuration are many more than just a themeWM or nano3d test menu , I am stuck mid way Sent from Mail<https://go.microsoft.com/fwlink/?LinkId=550986> for Windows

1 0

static libm
by Michael Grunditz 16 Jan '23

16 Jan '23

Hello! I am trying to build the unicorn cpu emulator with "goa"... Shared build bails out completely. Static seems to work , but I need a static libm. I tried to build one , setting SHARED_LIB=no, but it didn't work. Is it possible to get a static libm? Michael

2 4

building sculpt
by Johnny Nunez 15 Jan '23

15 Jan '23

Last two tries fail, redo everything as far as I can tell, build new genode Now is giving me this error: [bash-minimal] make[9]: *** [Makefile:175: plural.o] Error 1 [bash-minimal] make[8]: *** [Makefile:668: lib/intl/libintl.a] Error 1 make[7]: *** [/home/johnny/genode/depot/genodelabs/api/noux/2021-12-16/mk/gnu_build.mk:181: built.tag] Error 2 make[6]: *** [var/libdeps:119: bash-minimal.prg] Error 2 please advice Sent from Mail<https://go.microsoft.com/fwlink/?LinkId=550986> for Windows

2 1

Re: make KERNEL=nova BOARD=pc run/sculpt
by Johnny Nunez 15 Jan '23

15 Jan '23

Well now the problem is gone I redo all (maybe) and I am not getting past to errors but a new One when is going thru bash , run/demo is finishing ok Sent from Mail<https://go.microsoft.com/fwlink/?LinkId=550986> for Windows

1 0

Excited for Pinephone Sculpt image
by Sagar Acharya 14 Jan '23

14 Jan '23

I look forward to Pinephone Sculpt image. I will be trying it out the very first day as soon as it releases! Thanking you Sagar Acharya

1 0

make KERNEL=nova BOARD=pc run/sculpt
by Johnny Nunez 14 Jan '23

14 Jan '23

getting errors building sculpt error: port not prepared gdb while prepare_port gdb more errors: localhost:/srv/ftp/upload/genode-22.11/tool/ports # ./prepare_port gdb gdb extract gdb-10.2.tar.xz (gdb) ln: failed to create symbolic link 'src/noux-pkg/gdb/gdb/arch/amd64.cc': File exists make[2]: *** [/srv/ftp/upload/genode-22.11/repos/ports/ports/gdb.port:21: symlinks] Error 1 make[1]: *** [/srv/ftp/upload/genode-22.11/tool/ports/mk/prepare_single_port.mk:43: _install_in_port_dir] Error 2 make: *** [prepare_port:47: gdb] Error 2 solutions?

2 1

make KERNEL=nova BOARD=pc run/sculp
by Johnny Nunez 14 Jan '23

14 Jan '23

getting errors building sculpt error: port not prepared libgcrypt while prepare_port libgcrypt more errors: root:/home/johnny/genode/tool/ports # ./prepare_port libgcrypt libgcrypt extract libgcrypt-1.8.2.tar.bz2 (libgcrypt) libgcrypt extract libgpg-error-1.27.tar.bz2 (libgpg-error) libgcrypt generate include/libgcrypt/gcrypt.h libgcrypt generate include/libgcrypt/gpg-error.h src/lib/libgpg-error/src/mkerrcodes.c: In function ‘main’: src/lib/libgpg-error/src/mkerrcodes.c:59:31: error: ‘err_table’ undeclared (first use in this function) for (i = 0; i < sizeof (err_table) / sizeof (err_table[0]) - 1; i++) ^~~~~~~~~ src/lib/libgpg-error/src/mkerrcodes.c:59:31: note: each undeclared identifier is reported only once for each function it appears in make[2]: *** [/home/johnny/genode/repos/libports/ports/libgcrypt.port:73: mkerrcodes] Error 1 make[1]: *** [/home/johnny/genode/tool/ports/mk/prepare_single_port.mk:43: _install_in_port_dir] Error 2 make: *** [prepare_port:47: libgcrypt] Error 2 solutions? Sent from Mail<https://go.microsoft.com/fwlink/?LinkId=550986> for Windows

1 0

using GOA to port libraries
by Pirmin Duss 10 Jan '23

10 Jan '23

Hello Genodians As part of a project, I will port WasmEdge [1] to Genode. As WasmEdge uses cmake as build system my idea is to use GOA to port it. There is already a port of WasmEdge to the SEL4 kernel [2]. WasmEdge uses several libraries of which some also use cmake as build system. To start small I first want to port the `spdlog` library. Before working on the big dependency in form of the `lld` library from the `llvm` project. If I issue `goa build` successfully runs `cmake` but building fails afterward. There are a lot of `[-Werror=effc++]`. I tired different ways to set `CC_CXX_WARN_STRICT=` in the files `cmake_args` and `make_args`. Unfortunately none of them helped. Can anybody give me some hints how I could achive this? My project is located at [3]. Regards, Pirmin [1] https://github.com/WasmEdge/WasmEdge [2] https://github.com/second-state/wasmedge-seL4.git [3] https://github.com/trimpim/wasmedge-genode

3 10

Drivers and such things (the rk3588 port)
by Michael Grunditz 10 Jan '23

10 Jan '23

Hello, 1, Is there a generic ehci and xhci driver that I can pass my initialised controller address and irq number to? 2, I need to map a physical address and the other way , I need the physical address of a buffer. I don't have my older projects online (we have moved and my networking infrastructure is very limited), and I don't remember how I did it for starting riscos on the second core. That mapped a buffer to physical address, If question 1 is a positive answer , I have usb working ( I hope) If question 2 "can be done" I have graphics, although not in a driver yet. /Michael

2 10

A confession for 2023
by Michael Grunditz 06 Jan '23

06 Jan '23

Hello Genodians! I have something to confess, I am still in love with the traditional desktop. Especially the one that can be found in RISC OS. RISC OS is a *very* different system compared with Genode. It (RISC OS) is insecure by design and the kernel is written in ARM assembly. It is a single tasking os , but the WiMP system adds cooperative multitasking. The system is driven around with SWI's (software interrupts). This might sound archaic and to some extent it is. But it is probably the fastest desktop system around. Most programs have the minimal RAM requirement set to 4M, so a very low footprint. It is also tied to ARM32 cpus. Acorn in England, which invented RISC OS also invented the ARM cpu. In my opinion RISC OS is good as it is. When I say insecure, I mean that there is no isolation between the components. I actually like that because it gives me freedom as a coder to do whatever I like. So.. Genode.. RISC OS will not work on future ARM cores because of end of line for aarch32 compatible cores. It can't easily be ported because of its design. My vision is to make a hybrid system with Genode and RISC OS. In my opinion both systems can gain from it. RISC OS gets modernised ways of security and other things that probably never will work in a traditional setup. Genode would gain a desktop as an alternative to Sculpt. This is a giant project that involves just about all aspects of an operating system. A little list of where I intend to begin: * Make Genode running on a 64bit only core, Ihave chosen the Rockchip RK3588 SoC because I have a board and that it features a lot of nice things. * Find a good way to run 32bit arm code. I am looking at the Unicorn cpu emulator. I have done some tests with it and it seems to be ok. The only drawback is the lack of *none* 1:1 mmu mappings. RISC OS relies on mmu fully functional. I have no way of solving that at the moment except to redevice it, a very difficult task. * Establish ways of protocols for communication with the RISC OS layer and core Genode. I will start alone , but if the project takes off I will invite others. I have no other coding projects planned for 2023, so this will be the one! Happy Hacking! Michael (I am micken on irc , say hello if you want! )

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users January 2023