Samuel Dionne-Riel

(See the PR for the explanation)

It's been decided this is definitely a dead-end, as of now. Though nothing stops an enterprising individual (or few) to try and make it work out, but it would still...

This now has been obsoleted by now well-known Tow-Boot stuff.

(Not closing with #643 since this is actually mainline-based, if I understand it right.)

Hi! :wave: I have taken the (not so hard) decision to drop support for vendor-based devices. I'm closing this PR since it only targets working with vendor-based devices. It is...

(Not specific to Mobile NixOS)

It's been fixed for a while... - https://github.com/NixOS/mobile-nixos/blob/92910bbba6ed6e1da81a9818c2f1f0e1b2ac1b3f/overlay/mobile-nixos/kernel/builder.nix#L455

Haven't looked at the problem space at all yet, so no. It's more of a note of a thing to configure and make sure is working before stating it is...

Note that with #210 I verified the NixOS UEFI iso was able to boot [to stage-1, it is missing USB drivers in stage-1 to continue further at this time, unrelated...

Hi! :wave: Sorry it took a while to finally review. * * * About `shell-session`, with which markdown rendering engine were you testing? How did you end-up deciding to use...