@bcarden unfortunately, we are not aware of those acronyms or technologies. The project to build the kernel for VOXL 1 is here: https://gitlab.com/voxl-public/system-image-build/voxl-build you could try to include those into your build