users

users@lists.genode.org

2 participants
2322 discussions

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

Re: Roadmap 2023
by Sam Crow 06 Jan '23

06 Jan '23

------ Original message------From: Sam Crow Date: Thu, Dec 29, 2022 10:42 AMTo: users(a)lists.genode.org;Cc: Subject:Re: Roadmap 2023 Hello Genodians,I'd like to reiterate the mobile emphasis without tracking features. My spare SSD is occupied by Haiku release1 beta4 and I see little chance of that being evicted in favor of another desktop OS. My PinePhone would be a much better target, however. I bought it specifically to see how secure a mobile platform could be! Genode was one of the mobile targets I was hoping to try.My primary SSD on my desktop (a 3rd-gen i7), my laptop (a PineBook Pro) and my PinePhone (3GB RAM, 32GB internal storage) are presently all running Manjaro Linux. If I could evict Manjaro from all 3 places, that would be a good year for me. Despite liking the desktop experience, Manjaro has no privacy features that I'm aware of. Microkernels that keep every driver in user-mode and don't allow drivers to "call home" to their manufacturer or their manufacturer's government would be an ideal privacy feature. Binary blobs should be disallowed from such behavior.Finally, I foresee an involvement with WebAssembly to be a replacement for most binary blobs in a short period of time and as soon as that takes place, address sanitizers and other sandboxing technologies could be complimentary to the AGPL license strategy. I have already submitted some patches to the W2C2 project on GitHub at https://github.com/turbolent/w2c2 and would like to hear your thoughts on the subject of using bytecodes to sandbox drivers and other binary blobs.Note: presently drivers cannot be represented in the WASI standard APIs so another API variant will be needed. There is a discussion started on the subject at https://github.com/WebAssembly/WASI/discussions/501#discussioncomment-41887… if interested.Thanks for your time and efforts,Samuel D. Crow

3 3

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users