-
Following the Linux kernel src layout, moved the vt-x code into a separate arch folder. Moved headers around: -- Microkernel/kliblcd arch-independent headers are in include/lcd_domains -- Microkernel arch-dependent headers are in arch/x86/include -- liblcd headers are in include/liblcd Switched some file/dir names to use `_` instead of `-`.
1abb5ae7