Jürgen Hahn jrhahn

NixOS on Fedora

Please note that these instructions are not offically supported or condoned by Nix and are not guaranteed to always work, but from my testing everything seems to work perfectly fine.

These steps may not be required if NixOS/nix#2374 is resolved.

SELinux

These commands are required for both Fedora Workstation and Fedora Silverblue

How to increase the root partition size on Fedora

Boot up with an Fedora Live USB stick.

Run vgs to check if there's any space:

$ sudo vgs
  VG     #PV #LV #SN Attr   VSize    VFree
  fedora   1   3   0 wz--n- <237.28g    0

Cross-compiling for ARM with musl

I'm using the target arm-linux-musleabihf for ARM v6 (Raspberry Zero is v6) with musl and hard float.

Build a cross compiler

Following instructions from Rust (and C) Cross Compilation for the Raspberry Pi.

Create an output directory:

Install VirtualBox guest additions onto Ubuntu server guests

Note

The following steps have been successfully tested with Ubuntu guests of:

24.04LTS
22.04LTS
18.04LTS
16.04LTS

	$ # Use Live CD to boot
	$ sudo su # Switch to root
	$ fdisk -l # Get names of root, boot & EFI partition names. you can also use blkid
	$ mount /dev/mapper/fedora_localhost--live-root /mnt # mount root partition
	$ cat /mnt/etc/fedora-release
	Fedora release 31 (Thirty One)
	$ mount /dev/nvme0n1p2 /mnt/boot # mount boot partition
	$ mount /dev/nvme0n1p1 /mnt/boot/efi # mount EFI partition
	# Note: If you are not able to mount EFI partition ('Input/Output error'),
	# You may have to repair ESP file system or format ESP.