mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 09:46:20 +00:00
os: enable PIT timer for hw_x86_64 platform
This commit is contained in:
parent
f4cb9101a4
commit
49bffbfe7e
3
repos/os/lib/mk/hw_x86_64/timer.mk
Normal file
3
repos/os/lib/mk/hw_x86_64/timer.mk
Normal file
@ -0,0 +1,3 @@
|
||||
INC_DIR += $(REP_DIR)/src/drivers/timer/include_pit
|
||||
|
||||
include $(REP_DIR)/lib/mk/timer.inc
|
Loading…
x
Reference in New Issue
Block a user