Chris Van Vranken

icon indicating an email [email protected]

icon location Akron, OH icon location Scala/Akka programmer. Experience with C# and Akka.NET for HL7 hospital communications. Interest in Haskell, Rust, NixOs, Bazel.

Results 14 comments of Chris Van Vranken

uefi boot from SD card, nixify uefi bootloader

After flashing edk2-rk3588 from armbian on my SD card, I wrote the `rawEfiImage-opi5plus` straight to my SD card without much trouble. I booted from that, built a native image locally...

Getting kernel log spam that makes the tty unusable

I had this same problem on orange5piplus and UEFI. I used `sudo dmesg -n 1` to eliminate the spam. Then I built the image locally and applied the new image...

HDMI not working

I suspect the original demo defaulted to grub because the raw-EFI image used comes from [nixos-generators](https://github.com/nix-community/nixos-generators/blob/master/formats/raw-efi.nix) and that is configured to use grub by default. I am using systemd as...

Patchelf inputs in hydra manual need updating

Ideally I think it should be replaced by a flake.nix example since that is what patchelf now uses and I have not seen a flake.nix example in the manual or...