Tickless NetBSD with high-resolution timers

[Vincent DEFERT <vincent.defert%posteo.net@localhost>]

Hi!

I came across this project for GSoC: 
https://wiki.netbsd.org/projects/project/tickless/
I'm not a student but I have a need for high-resolution timers for 
embedded development and I'd be happy to work on it.
I've written 2 NetBSD drivers, amlogic/meson_i2c.c (merged) and 
amlogic/meson_adc.c (waiting to be merged), so I'm already familiar with 
the code base, but I would need mentoring on this project.

Vincent