> insert_resource/request_resource works well
>
> can you verify if hpet work on old kernel?
>
> cat /proc/timers*
$ ls /proc/t*
/proc/timer_list
/proc/tty:
driver drivers ldisc ldiscs
$ grep -B 1 -A 5 hpet /proc/timer_list
Tick Device: mode: 1
Clock Event Device: hpet
max_delta_ns: 149983005959
min_delta_ns: 3352
mult: 61496114
shift: 32
mode: 1
next_event: 9223372036854775807 nsecs
set_next_event: hpet_legacy_next_event
set_mode: hpet_legacy_set_mode
event_handler: tick_handle_oneshot_broadcast
tick_broadcast_mask: 00000000
tick_broadcast_oneshot_mask: 00000000
If there's anything else I can do, just ask!
Dave W.