Palacios Public Git Repository
To checkout Palacios execute
git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the
devel branch or one of the release branches. To switch to the devel
branch, simply execute
cd palacios
git checkout --track -b devel origin/devel
The other branches are similar.
Added HPET (High Precision Event Timer) device
This is an initial implementation of a virtual HPET. Does not support
checkpoint save/restore yet. The HPET is currently defined to run at
1/16th of guest time
Note that a typical guest will check for the existence of the HPET
via an ACPI table. To force the current SeaBios to build this table
apply the following patch to it. This will eventually be automatic.
rem diff --git a/bios/seabios/src/acpi.c b/bios/seabios/src/acpi.c
rem index 95575a1..da7c9e9 100644
rem --- a/bios/seabios/src/acpi.c
rem +++ b/bios/seabios/src/acpi.c
rem @@ -673,9 +673,9 @@ acpi_bios_init(void)
rem ACPI_INIT_TABLE(build_fadt(pci));
rem ACPI_INIT_TABLE(build_ssdt());
rem ACPI_INIT_TABLE(build_madt());
rem - if (pci) {
rem + //if (pci) {
rem ACPI_INIT_TABLE(build_hpet());
rem - }
rem + //}
rem ACPI_INIT_TABLE(build_srat());
rem
rem u16 i, external_tables = qemu_cfg_acpi_additional_tables();
