gistfile1.txt

[root@nixos:~]# fdisk -l /dev/mmcblk0
Disk /dev/mmcblk0: 15.6 GiB, 16172187648 bytes, 31586304 sectors
Units: sectors of 1 * 512 = 512 bytes
Sector size (logical/physical): 512 bytes / 512 bytes
I/O size (minimum/optimal): 512 bytes / 512 bytes
Disklabel type: dos
Disk identifier: 0x2178694e

Device         Boot Start      End  Sectors Size Id Type
/dev/mmcblk0p1      16384    81919    65536  32M  b W95 FAT32
/dev/mmcblk0p2 *    81920 31586303 31504384  15G 83 Linux
[root@nixos:~]# mount | grep mmc
/dev/mmcblk0p2 on / type ext4 (rw,relatime)
/dev/mmcblk0p1 on /boot/firmware type vfat (rw,relatime,fmask=0022,dmask=0022,codepage=437,iocharset=iso8859-1,shortname=mixed,errors=remount-ro)
[root@nixos:~]# ls -ltrh /boot/firmware/
total 56K
-rwxr-xr-x 1 root root 56K Sep 14 05:37 bootcode.bin

[root@nixos:~]# ls -ltrh /boot/
total 14M
drwxr-xr-x 2 root root  16K Jan  1  1970 firmware
-r--r--r-- 1 root root 4.4K Sep 21 04:05 rpi2.dtb
-r-xr-xr-x 1 root root 5.8M Sep 21 04:05 zImage
-rw-r--r-- 1 root root  286 Sep 21 04:05 cmdline.txt
-r-xr-xr-x 1 root root 856K Sep 23 01:30 lk.elf