Martin Stein 7f29eff75a hw lapic: find best frequency dynamically ... Some x86 machines do have a LAPIC speed < 1000 ticks per millisecond when configured to use the maximum divider (as it was always the case). But we need microseconds precision for the timeout framework. Thus, reduce the divider dynamically until the frequency fullfills our requirements. Ref #2400		2017-08-28 16:49:50 +02:00
..
bbl	base-hw: RISC-V BBL	2017-05-31 13:16:24 +02:00
bootstrap	hw: prevent segment register re-loading	2017-08-28 16:49:45 +02:00
core	hw lapic: find best frequency dynamically	2017-08-28 16:49:50 +02:00
include/base/internal	base: make stack area base specifiable for core	2017-08-28 16:49:46 +02:00
kernel/spec/muen	Update Muen port	2017-06-29 11:59:58 +02:00
lib	hw: enable mappings beyond 4G on x86_64	2017-08-28 16:49:46 +02:00
test	Streamline exception types	2017-05-31 13:16:07 +02:00