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

About

Ipipe patched kernel 4.9.80 source with xenomai 3 for raspberry pi 2, 3 (include 3b+)

Languages

Language:C 95.7%Language:Assembly 1.7%Language:C++ 1.4%Language:Objective-C 0.6%Language:Makefile 0.3%Language:Perl 0.2%Language:Shell 0.1%Language:Python 0.1%Language:Yacc 0.0%Language:Lex 0.0%Language:Roff 0.0%Language:Awk 0.0%Language:GDB 0.0%Language:UnrealScript 0.0%Language:Gherkin 0.0%Language:M4 0.0%Language:XS 0.0%Language:Perl 6 0.0%Language:Clojure 0.0%Language:sed 0.0%