NixOS on ARM: Difference between revisions
imported>Fdietze how to resize the boot partition |
imported>Samueldr m →Resizing the boot partition: adds note + warning. |
||
| Line 219: | Line 219: | ||
=== Resizing the boot partition === | === Resizing the boot partition === | ||
{{note|The instructions as they are were tested on the Raspberry Pi 3}} | |||
{{warning|Platforms needing a secondary boot loader before the boot partition, (when using <code>dd</code> to add u-boot, MLO or SPL) will need to take in consideration where the original <code>/boot</code> partition starts.}} | |||
It is possible that you run out of disk space on the boot partition after some system upgrades. | It is possible that you run out of disk space on the boot partition after some system upgrades. | ||
To resize the boot partition: | To resize the boot partition: | ||
| Line 225: | Line 229: | ||
* Repartition and make sure to delete and then recreate the boot partition (fat32, primary, label: <code>NIXOS_BOOT</code>) | * Repartition and make sure to delete and then recreate the boot partition (fat32, primary, label: <code>NIXOS_BOOT</code>) | ||
* Copy the files from the backup back to the new boot partition | * Copy the files from the backup back to the new boot partition | ||
== Details about the boot process == | == Details about the boot process == | ||