Tom b5f827d560 HPET: Fix accessing HPET registers ...

This resolves a bochs panic during bootup:

[Kernel]: HPET @ P0x07ff0fc0
00691951632p[HPET  ] >>PANIC<< Unsupported HPET read at address 0x0000fed00100

These changes however don't fully resolve #2162

2020-06-01 17:35:51 +02:00

..

HardwareTimer.cpp

Kernel: Fix dumb logic typo in HardwareTimer::handle_irq()

2020-04-16 18:53:38 +02:00

HardwareTimer.h

Kernel: Rename HardwareTimer::change_function() => set_callback()

2020-04-16 18:51:39 +02:00

HPET.cpp

HPET: Fix accessing HPET registers

2020-06-01 17:35:51 +02:00

HPET.h

Kernel: Absorb LibBareMetal back into the kernel

2020-05-16 12:00:04 +02:00

HPETComparator.cpp

Kernel: Remove "stale callback" concept from time management

2020-04-16 18:50:22 +02:00

HPETComparator.h

Kernel: Remove "stale callback" concept from time management

2020-04-16 18:50:22 +02:00

PIT.cpp

Kernel: Absorb LibBareMetal back into the kernel

2020-05-16 12:00:04 +02:00

PIT.h

Kernel: Introduce the new Time management subsystem

2020-03-19 15:48:00 +01:00

RTC.cpp

Kernel: Absorb LibBareMetal back into the kernel

2020-05-16 12:00:04 +02:00

RTC.h

Kernel: Introduce the new Time management subsystem

2020-03-19 15:48:00 +01:00

TimeManagement.cpp

Kernel: Add TimeManagement::now_as_timeval()

2020-05-16 11:34:01 +02:00

TimeManagement.h

Kernel: Add TimeManagement::now_as_timeval()

2020-05-16 11:34:01 +02:00