scripts, guide, patched 4.9.80 kernel source, pre-built kernel with xenomai 3 for raspberry pi 2, 3 (include 3b+)
guide and script to build by yourself
If you want to build ipipe kernel from scratch, follow this link
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
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