Reto Buerki 4e259f7b1e hw_x86_64: Implement LAPIC-based kernel timer ... The LAPIC timer is programmed in one-shot mode with vector 32 (Board::TIMER_VECTOR_KERNEL). The timer frequency is measured using PIT channel 2 as reference (50ms delay). Disable PIT timer channel 0 since BIOS programs it to fire periodically. This avoids potential spurious timer interrupts.		2015-03-27 11:53:31 +01:00
..
arm	hw: adjust core bootstrap to fit generic process	2015-03-19 08:57:19 +01:00
arm_gic	hw_arndale: setup ARM hypervisor mode	2015-02-27 11:48:05 +01:00
arm_v6	hw: adjust core bootstrap to fit generic process	2015-03-19 08:57:19 +01:00
arm_v7	hw: adjust core bootstrap to fit generic process	2015-03-19 08:57:19 +01:00
cortex_a8	hw: adjust core bootstrap to fit generic process	2015-03-19 08:57:19 +01:00
cortex_a9	hw: refactor irq controllers	2015-02-27 11:43:56 +01:00
cortex_a15	hw_arndale: enable ARM virtualization extensions	2015-02-27 11:48:05 +01:00
exynos5	hw_arndale: setup ARM hypervisor mode	2015-02-27 11:48:05 +01:00
imx	imx31: remove platform completely (fix #1360)	2015-01-12 14:24:15 +01:00
imx53	hw: extend kernel interrupt class	2015-02-27 11:43:56 +01:00
panda	hw: refactor irq controllers	2015-02-27 11:43:56 +01:00
pbxa9	hw: refactor irq controllers	2015-02-27 11:43:56 +01:00
pl011	hw: re-organize file structure	2014-08-15 10:19:48 +02:00
rpi	hw: extend kernel interrupt class	2015-02-27 11:43:56 +01:00
tl16c750	hw: re-organize file structure	2014-08-15 10:19:48 +02:00
vea9x4	hw: refactor irq controllers	2015-02-27 11:43:56 +01:00
x86	hw_x86_64: Implement LAPIC-based kernel timer	2015-03-27 11:53:31 +01:00
x86_64	hw_x86_64: Add virt_base paramater to Tss::setup function	2015-03-27 11:53:27 +01:00