boot guix vm from with hardware disk

[dckc]

I'm struggling to get my head around virtualbox. In particular, I'm struggling to Use a Physical Hard Drive with a VirtualBox VM.

In particular, I'm trying to use guix deploy to set up the vm.

Current challenge: boot stops at a UEFI shell; and even if I manually invoke grub, it says error: you need to load the kernel first.

Backgroud: OSDev and Capability-based Security

I got a used ThinkPad T430 (#172) to run genode (#49); I want to run linux inside a genode vm, but the project is going very, very slowly. So I'm looking into flipping it the other way for now: guix (with shepherd support for spritely goblins!) at the bottom with genode on top.

---

full disclosure: I've been making use of an LLM to help me learn virtualbox etc.

[dckc]

error: you need to load the kernel first

failure mode: when I boot from the hard disk, a UEFI shell starts but doesn't pass control to the next step. I can do so manually; then grub comes up...

I got a grub boot menu, but when i choose the 1st item, it just comes back. when I choose it again, I get "error: you need to load the kernel first"

full aider/gemini chat session: ocap-osdev-aider-chat-history.md