Hey @jcai ,
Are you building a "debug" or "perf" kernel?
There's a little slop I have with voxl-gpio-mod and voxl-platform-mod.... they're being built out of tree and shipping in the rootfs... which if you load a debug kernel, causes problems like above....
By default the build is 'perf':
https://gitlab.com/voxl-public/system-image-build/qrb5165-kernel-build-docker/-/blob/qrb5165-ubun1.0-14.1a/bin/qrb5165-build.sh?ref_type=heads#L13
If you are using 'perf' and still having issues please let me know.
I want to move these two modules IN TREE, then this can go away... we're planning on doing this in future (major) release.