I have a chromebook with coreboot which runs xubuntu but i dont want a hefty linux kernel. So i would like to try the genode/nova. Since the chromebook (CB3-111-C4HT - Intel celeron 2840N vt-x only) does not have vt-d, it seems to freeze at splash screen. I would like some help with this.
What is the minimum hardware (RAM/Storage) needed to install Genode.
Is there a way to see the logs (GDB is enabled, but i am not sure how to listen to the logs) on the laptop.
Changing the kernel to foc and sel4 causes out of memory exception for the BOARD=pc configuration. While kernel=hw and board=pc causes the same effect as the downloaded 24.04 img file.
What is the next course of action? Appreciate any help here.
We never tried Sculpt running on a Chromebook, yours seem to be, according to the spec, quite dated. The oldest notebook we try from time to time is a Lenovo X201. See Genode - Sculpt Operating System 25.04 for the general requirements.
You may try following things:
Follow the steps of Genode - Sculpt with Visual Composition (VC) to setup a component which periodically writes the system logs to the USB stick. (Assumption is that the usb host driver is running fine). You will have to setup this on a machine with working Sculpt OS support however.
Get somehow uart/serial output of your machine to see the actual reason.
Thank you for the reply will try it. @alex-ab .. Similarly i have an AMD Opteron 6272 CPU based desktop that did not work either. I will try this approach on that as well.