Assertion: kernel | /r/AtLocation | the /boot partition
Facets:
Source sentences:
text: The kernel for the Raspberry Pi can be found on the /boot partition (the FAT32 partition you can open on Windows, Mac and Linux).