[xdma]

It's a desktop OS, and the hardened kernel is an important part of the project (i.e. no docker image).