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 <[email protected]> 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 > [email protected] > https://lists.genode.org/listinfo/users -- Dan Connolly http://www.madmode.com/ _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
