Files
ipxe/src/config/fault.h