I use a Fedora 24 linux system as my boot server. My notes on setting this up follow.
Here is the /etc/dhcpd/dhcpd.conf file that I use. It works. You may not need all of the stuff in it.authoritative; allow unknown-clients; allow booting; allow bootp; default-lease-time 14400; # 4 hours max-lease-time 14400; # 4 hours # TJT - This is required as of ISC 3.0.3 to tell what # IP to be used for TFTP (for PXE booting). next-server 192.168.0.5; option option-128 code 128 = string; option option-129 code 129 = text; shared-network "CASTELLON" { subnet 192.168.0.0 netmask 255.255.255.0 { option routers 192.168.0.1; option subnet-mask 255.255.255.0; option domain-name-servers 208.67.222.222, 208.67.220.220; host galileo { hardware ethernet 98:4f:ee:05:xx:yy; fixed-address 192.168.0.30; option host-name "galileo"; server-name "trona"; filename "xinu"; } } }The default setup for fedora is that TFTP serves files out of the directory /var/lib/tftpboot. I change permissions on this so I can freely copy into it as myself, then after I build xinu, I copy the file "xinu" (not xinu.elf) into this directory.
Get yourself a blank microSD card. They usually come from the factory with a FAT-32 filesystem on them, and will mount on linux as type "vfat" which is what you want. After deleting any files on the card, do something like this:
-- linux should just automount the sdcard for you when it is plugged in via a card reader cd /mount/sdcard tar xvf /path/sdcard-netboot.tgz eject /mount/sdcardPut this card into the Galileo, watch the serial console and it should just work. There are sometimes headaches with getting the DHCP and TFTP servers running and configured, not to mention opening firewall ports. Be sure and put a xinu binary in the directory your tftp server serves out of. If all else fails, run wireshark and see what packets are and are not moving.
git clone https://github.com/real-xinu/xinu-galileo.git cd xinu-galileo git checkout xboot cd compile make clean make depclean makeThis should yield an xboot executable that you can put onto your SD card.
Tom's Computer Info / [email protected]