I would suggest python.

Figured it out...
Followed the README at https://github.com/RevolutionPi/kernelbakery
but change from
git clone -b revpi-4.9 https://github.com/RevolutionPi/linux
to
git clone -b revpi-4.14 https://github.com/RevolutionPi/linux

I actually successfully did the compilation on the Core 3, with ...

I need to update the kernel on my Core 3 to linux 4.14 to get a usb peripheral device bugfix .
I've tried
sudo apt-get update
sudo apt-get upgrade
but uname -a tells me I'm still on 4.9:
Linux RevPi12149 4.9.76-rt60-v7+ #1 SMP PREEMPT RT Tue, 12 Mar 2019 15:19:36 +0100 armv7l GNU/Linux

Are there ...

It would be great if the sample code was released as public domain or licensed under GPLv3 so they can be used as a base for user projects.
Currently I am referring to "LightSwitch.c" for video tutorial no. 13 https://revolution.kunbus.com/download/1137/

Is it possible to connect a raspberry pi camera to the revolution pi?