Build / downloaded img freezes on chromebook

[tayirvadai]

Good Day.

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.

1. What is the minimum hardware (RAM/Storage) needed to install Genode.
2. 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.
3. 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.

Thanks

Tayirvadai

[alex-ab]

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.
• Alternatively, you may try a debug image from me, https://depot.genode.org/alex-ab/images/debug_image_25_04.img, based on (Commits · alex-ab/genode · GitHub - probably), which is a collection of basic graphic driver tests, to see which of the driver is potentially working.

[tayirvadai]

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.