A really simple TFTP server for booting cores in the works