37 lines
1.2 KiB
Nix
37 lines
1.2 KiB
Nix
{
|
|
disko.devices = {
|
|
disk = {
|
|
main = {
|
|
type = "disk";
|
|
device = "/dev/mmcblk0"; # Internal SD card for Raspberry Pi
|
|
content = {
|
|
type = "MBR"; # MBR partitioning for Raspberry Pi
|
|
partitions = {
|
|
# Boot partition (FAT32 for bootloader files)
|
|
boot = {
|
|
priority = 1;
|
|
name = "boot";
|
|
start = "1M";
|
|
end = "256M"; # 256MB FAT32 partition for boot files
|
|
type = "0C"; # FAT32 partition type
|
|
content = {
|
|
type = "filesystem";
|
|
format = "vfat"; # FAT32 for the boot partition
|
|
mountpoint = "/boot"; # Mounted as /boot
|
|
};
|
|
};
|
|
# Root partition (ext4 for the main system)
|
|
root = {
|
|
size = "100%"; # Use the remaining space for the root filesystem
|
|
content = {
|
|
type = "filesystem"; # Basic filesystem (ext4)
|
|
format = "ext4"; # Use ext4 for the root filesystem
|
|
mountpoint = "/"; # Root of the system
|
|
};
|
|
};
|
|
};
|
|
};
|
|
};
|
|
};
|
|
};
|
|
}
|