aspetto chiarimenti....

non ho le idee chiare su:

acpi
apic
lapic


nel mio dmesg vedo:

[ 0.000000] ACPI: LAPIC (acpi_id[0x04] lapic_id[0x03] enabled)
[ 0.000000] IOAPIC[0]: apic_id 4, version 17, address 0xfec00000, GSI 0-23
[ 0.016017] ..TIMER: vector=0x30 apic1=0 pin1=0 apic2=-1 pin2=-1