boot.c
|
lguest: disable ACPI explicitly.
|
2015-02-11 16:47:34 +10:30 |
head_32.S
|
lguest: rename i386_head.S
|
2013-05-20 12:09:40 +09:30 |
Kconfig
|
x86: Make Linux guest support optional
|
2013-03-04 13:14:25 -08:00 |
Makefile
|
lguest: rename i386_head.S
|
2013-05-20 12:09:40 +09:30 |