Re: [Etherboot-developers] Developer documentation

[Georg B. <gb...@us...>]

The developer manual is now uptodate with the current source. Not everything 
is documented (for example not every file in src/core), but I think that 
nothing is outdated anymore.
I also added src/util/get-pci-ids, a utility that I used to scan for new PCI 
IDs in the Linux kernel source and that can be useful when anybody wants to 
do this again.

Georg