File  xinu.h   X86-specific version (Galileo Board)   Xinu path name  include/xinu.h