[SeaBIOS] bootorder: iPXE or gPXE?

[Steve Goodrich]

I don't yet understand the syntax of the bootorder file, and I'm trying to
use iPXE as one of the boot sources.  Could someone either:
1. Show me how to set this up, or
2. Point me to documentation somewhere that explains PXE boot as controlled
by SeaBIOS's bootorder file, or
3. Show me another way to do it?

Thanks!
	-- Steve G.