rpi23-4.9.80-xeno3

scripts, guide, patched 4.9.80 kernel source, pre-built kernel with xenomai 3 for raspberry pi 2, 3 (include 3b+)

scripts

guide and script to build by yourself

If you want to build ipipe kernel from scratch, follow this link

linux-rpi-4.9.y-xeno3

ipipe patched 4.9.80 kernel source, just pull down and build (refer README file at Building kernel in scripts directory to build)

If you want a pre-patched kernel that you can directly build, get linux source from this link

prebuilt

built 4.9.80 ipipe patched kernel + prebuilt xenomai user-space libraries and tool. Pull down and deploy

if you just want to have READY-TO_USE realtime kernel, get this