Hello Primin,
Am 09.02.22 um 12:55 schrieb Duss Pirmin:
Hello Genodians
I have a UP Xtreme board on which I want to run Genode on. it has a
Intel core i7 8xxx [1]. This platform only supports UEFI boot.
Starting Sculpt on the device from an USB stick works.
The main problem I have
Hello Genodians
I have a UP Xtreme board on which I want to run Genode on. it has a
Intel core i7 8xxx [1]. This platform only supports UEFI boot.
Starting Sculpt on the device from an USB stick works.
The main problem I have currently, is that I do not receive any serial
output from the
Hello Tao,
welcome to the list. Don't hesitate to subscribe via
https://lists.genode.org/listinfo/users
as postings are members-only and mails by non-members are on hold
until an admin approves them, which may take some time.
Regarding your question...
On Wed, Feb 09, 2022 at 04:29:09 CET,
Hi there,
My name is Tao as a fresh man to genode. I want to have a brief
understanding of your work on porting genode on sel4. When starting to build
your sel4 demo under the instructions of release note for 15.05 version:
---