PiNet, a system for Raspberry Pi classrooms

Understanding the boot folder files

The autogenerated boot folder (stored in /home/YourUser/piboot) is made up of a number of configuration files and boot files.

  • System.map-KERNEL – A debug file for kernel panics.

  • Bootcode.bin – Untouched Raspberry pi bootloader.

  • Cmdline.txt – Default kernel config file, contains NBD server IP address, by default this is 1.1.1.1.

  • Cmdline2.txt – cmdline.txt’s twin, only here for maintaining legacy setups

  • CmdlineLocalSD – The cmdline.txt file with the kernel settings for a standard Raspbian OS.

  • CmdlineNBD.txt – The cmdline.txt file with the kernel settings for PiNet NBD booting.

  • CmdlineNFS.txt – The cmdline.txt file with the kernel settings for PiNet NFS booting (legacy).

  • Config-LTSP – The main Raspberry Pi config.txt file for PiNet.

  • ConfigLocal.txt – The main Raspberry Pi config.txt for local Raspbian booting.

  • Config.txt – The current in use config.txt file, by default boots PiNet.

  • Config_standard – The main raspberry Pi config.txt for PiNet with overclocking disabled.

  • Fixup.dat, fixup_cd.dat, fixup_x.dat – Untouched Raspbian boot files

  • Initrd.img-KERNEL – The initrd used by PiNet. An initrd is a mini Linux operating system used to kickstart the main operating system. It contains the bootmenu script.

  • Initrd.img-KERNEL-NoMenu – The old initrd used by PiNet. It does not contain the bootmenu script.

  • Kernel_emergency.img – An untouched Raspbian recovery kernel.

  • Start.elf, start_cd.elf, start_x.elf – Untouched Raspbian boot files.

  • Vmlinuz-KERNEL – The main PiNet kernel.

Additional files you may have

  • Kernel.img – An untouched Raspbian kernel.

  • Initrd.img – An untouched Raspbian Initrd (very rarely used)