[LeoPanthera]

Raspberry Pi's don't use PXE boot, they have their own proprietary system. The kernel is fetched by TFTP, along with a config text file which species an NFS location to mount as root. Boot then continues from there.