content/posts/nixos-bpi-r4/2024-10-05-uboot-console.md

@@ -88,6 +88,10 @@ Luckily, nixpkgs provides two functions to build these two elements as Nix deriv
 
 # Cross compilation on NixOS (for Nix-beginners)
 
+<!-- If you're not on an aarch64 machine (or did not enable native build through QEMU on your configuration), -->
+
+<!-- you won't be able to build the following derivations. -->
+
 As I plan to build everything from a x86_64 host, we have to set up a cross-compilation system to build our boot sequence
 for ARMv8A.
 Once again, nixpkgs make it fairly easy with its embedded cross-compilation system.
@@ -291,9 +295,9 @@ runCommand "bpi-r4-image" {
   dd if=/dev/zero of=$IMAGE bs=1M count=4000
   sgdisk -o $IMAGE
   sgdisk -a 1 -n 1:34:8191     -A 1:set:2   -t 1:8300 -c 1:"bl2"        $IMAGE
-  sgdisk -a 1 -n 2:8192:9215   -A 2:set:63	-t 2:8300 -c 2:"u-boot-env"	$IMAGE
-  sgdisk -a 1 -n 3:9216:13311  -A 3:set:63	-t 3:8300 -c 3:"factory"    $IMAGE
-  sgdisk -a 1 -n 4:13312:17407 -A 4:set:63	-t 4:8300 -c 4:"fip"        $IMAGE
+	sgdisk -a 1 -n 2:8192:9215   -A 2:set:63	-t 2:8300 -c 2:"u-boot-env"	$IMAGE
+	sgdisk -a 1 -n 3:9216:13311  -A 3:set:63	-t 3:8300 -c 3:"factory"    $IMAGE
+	sgdisk -a 1 -n 4:13312:17407 -A 4:set:63	-t 4:8300 -c 4:"fip"        $IMAGE
 
   dd if=${armTrustedFirmwareBpiR4}/bl2.img of=$IMAGE seek=34 conv=notrunc,fsync
   dd if=${armTrustedFirmwareBpiR4}/fip.bin of=$IMAGE seek=13312 conv=notrunc,fsync

hugo.toml

@@ -4,10 +4,6 @@ title = "Victor Mignot's blog"
 theme = "dalaran"
 copyright = "CC BY-SA 4.0"
 
-[markup]
-  [markup.highlight]
-    style = "tango"
-
 [params]
   introduction = "Just experimenting computer stuff and sharing it."
   mail = "dala@dalaran.fr"