[LowLevelKernel]

Not on GitHub?

[boguscoder]

Its on gitlab but even there I failed to find sources, documentation/presentations are there though

[Wololooo]

If I remember everything is open hardware, CERN should have those repo accessible, last time I used it it was still very much in dev, especially their PCIe cards with custom kernel. This being said, I haven't touched it since ~6 years ago...

[goofymiron]

https://www.white-rabbit.tech/wr-technology/

Note that this is also for a large part a hardware-based technology