Hi,
I am looking for the following answers but could not get an answer on the
website.
1. I understand the Genode can be made with multiple kernels such as OKL4,
seL4, and Nova, as well as your own kernel named hw? However, it was not
obvious which kernel is used by sculpt.
2. Where can I find the
That looks promising. I’ll give it a shot later.
Sent from my iPhone
> On Dec 26, 2022, at 2:41 PM, Colin Parker wrote:
>
>> When I inspect the log, it says:
>>
>> [runtime -> update -> manager] Warning: fetchurl got stuck, respawning
>> [runtime -> update -> manager] Error: invalid download U
> When I inspect the log, it says:
>
> [runtime -> update -> manager] Warning: fetchurl got stuck, respawning
> [runtime -> update -> manager] Error: invalid download URL for depot
> user:
>
> Thoughts?
Did you do this step in build.conf:
RUN_OPT += --depot-user
It seems like maybe the issue
On 12/26/22 11:52 AM, Will Senn wrote:
I got Sculpt working on my T430 on metal. I'm able to boot to the gui
and expand my storage, format it, use it, connect to ethernet, and add
genode-labs depot. However, when I click on themed-wm, it just hangs.
When I inspect the log, it says:
[runtime
I got Sculpt working on my T430 on metal. I'm able to boot to the gui
and expand my storage, format it, use it, connect to ethernet, and add
genode-labs depot. However, when I click on themed-wm, it just hangs.
When I inspect the log, it says:
[runtime -> update -> manager] Warning: fetchurl g
Dear Genode Community,
hereby, I'd like to kick off our yearly brainstorming about Genode's
road map for the upcoming year. Please feel invited to chime in, sharing
your personal observations and plans. By mid of January, I will update
Genode's official road map, trying to weave one reasonable
