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