Nixos BPI-R4 Uboot: small fixes

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

@@ -88,10 +88,6 @@ 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.

hugo.toml

@@ -4,6 +4,10 @@ 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"