users

users@lists.genode.org

1 participants
2310 discussions

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

RK3588 part X small success.
by Michael Grunditz 05 Jan '23

05 Jan '23

When started in EL1. I assume I need to copy the settings from the setup of EL1 to EL2 or something.. I still would like a proper cpu init ( really bad so I might go ahead with it). kernel initialized ROM modules: ROM: [0000000005580000,0000000005580156) config ROM: [000000000048a000,000000000048b000) core_log ROM: [0000000005634000,000000000567b5f8) init ROM: [0000000005588000,00000000056335f8) ld.lib.so ROM: [0000000000488000,0000000000489000) platform_info ROM: [0000000005581000,0000000005587260) test-log Genode 22.11 125 MiB RAM and 64533 caps assigned to init [init -> test-log] hex range: [0e00,1680) [init -> test-log] empty hex range: [0abc0000,0abc0000) (empty!) [init -> test-log] hex range to limit: [f8,ff] [init -> test-log] invalid hex range: [f8,08) (overflow!) [init -> test-log] negative hex char: 0xfe [init -> test-log] positive hex char: 0x02 [init -> test-log] floating point: 1.70 [init -> test-log] multiarg string: "parent -> child.7" [init -> test-log] String(Hex(3)): 0x3 [init -> test-log] Very long messages: [init -> test-log -> log] 1..................................................................................2 [init -> test-log] 3.........................................................................................4 [init -> test-log] 5.........................................................................................6 [init -> test-log] [init -> test-log] Test done.

2 3

arm_64 exception vector and el2 stack
by Michael Grunditz 04 Jan '23

04 Jan '23

Hi Where does Genode/base-hw write the exception vector to the address that hypervisor_exception_vector reports it? It doesn't work. If I leave out the vbar setting I get exceptions from uboot if I do something stupid. If not , nothing. But of course, I might be wrong it is just that I would expect exceptions. For example: When I by mistake put NR_OF_CPUS inconsistently., I get nothing if vbar set, if not, trigger assert. Not sure how this relates (seems odd ) but I think that it is a hint. The el2_stack seems like a very high address. Thanks, Michael

2 5

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users