p.s. I re-traced my steps so far and captured the details in a Makefile and a sequence of commits of config files and such, so I can remember what I learned:
https://github.com/dckc/madmode-blog/tree/master/projects/t430 22bb88d
linux vm on genode on T430 boots https://github.com/dckc/madmode-blog/pull/178 8065fc3 docs: init README for Genode on ThinkPad thru 22bb88d docs(t430): cite genode users mailing list discussion
On Sat, Jan 28, 2023 at 2:00 AM Martin Stein martin.stein@genode-labs.com wrote:
Happy to hear that :)
On 28.01.23 08:54, Dan Connolly wrote:
Yes! The VM boots and I see the debian installer screen! Thanks!
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users