NixOS on Raspberry Pi 4 & enabling Ethernet over USB

• nixos-hardware

  69 1,554 9.5 Nix

  A collection of NixOS modules covering hardware quirks.

  

Got the NixOS hardware module imported and set:

• pipxe

  1 1 10.0 Makefile

  PXE-chainloadable iPXE for Raspberry Pi 4 with full diskless example (by jhvst)

Next, you need a folder structure which looks like this: https://github.com/jhvst/pipxe/tree/master/example/tftpboot

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• nix-config

  4 32 9.1 Nix

  My personal NixOS config (by jhvst)

You will need to have a DHCP server which has to be configured with ARM 64 bit file name option to point to the efi/boot/bootaa64.efi in the TFTP server alongside option called UEFI HTTPBoot URL which has to point to the RPI_EFI.d file from the ipxe project builds. Unfortunately, I have no idea how to apply the DHCP settings unless you happen to run pfSense, which has the option under DHCP server settings. If you manage to do this some other way, you can then add a file called autoexec.ipxe to the efi/boot folder. You can generate the autoexec.ipxe file by running the following script, for example: https://github.com/jhvst/nix-config/blob/main/minimal.nix (the command to run it is in the first line of the file).

Suggest a related project