Hi Chris,
welcome to this forum.
Do you have still problems enabling the Cedrus encoder?
Unfortunately we have for this board at this moment no supporter.
Anyway, on wvthoog.nl there is written you should see the device as /dev/cedar after enabling the Cedrus H264 hardware encoder.
And you skipped the first step, right?
Best,
benjamin