Re: make KERNEL=nova BOARD=pc run/sculpt

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 for Windows ___ Genode users mailing lis

Re: Roadmap 2023

Hello Josef On 1/12/23 10:14, Josef Söntgen wrote: Hello Pirmin, Most of my time working with Genode is related to my job. Privately i did build a test machine to run Genode on. The onboard Nic of this machine isn't supported by the ipxe network driver. Therefore I started porting the intel_i

Re: Roadmap 2023

Hello Norman Sorry for the delay in my response. For my work I'm currently debugging a very strange problem when upgrading to Genode 22.11 together with Jean-Adrien. On 1/12/23 13:57, Norman Feske wrote: Hi Pirmin, Two points that Alex brought up caught my attention:   - Extended multi moni

building sculpt

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/a

revisit past discussions

is there a way to filter 4,360 Closed Issues in the github repository? same thing in the mailing list's online archive dating back July 2008? ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users

Excited for Pinephone Sculpt image

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 ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users

Re: make KERNEL=nova BOARD=pc run/sculpt

I have had this happen before with prepare_port. What I believe is that prepare_port can happen incompletely, for example if a host system dependency is missing. Then it tries to resume and the script isn’t designed for that. What I would try is delete your contrib/gdb-*** directory and rerun p