Only allow CONFIG_XEN when not CONFIG_COREBOOT.
1 file changed
tree: af593ab19a27a1bd4788a575e5d796f2a6ec428e
  1. .gitignore
  2. COPYING
  3. COPYING.LESSER
  4. Makefile
  5. README
  6. TODO
  7. src/
  8. tools/
  9. vgasrc/