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
