Skip to content

scripts, guide, patched 4.1.21 kernel source, pre-built kernel with xenomai 3 for raspberry pi 0, 0-W, 1

Notifications You must be signed in to change notification settings

thanhtam-h/rpi01-xeno3

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

18 Commits
 
 
 
 
 
 
 
 

Repository files navigation

rpi01-4.1.21-xeno3

scripts, guide, patched 4.1.21 kernel source, pre-built kernel with xenomai 3 for raspberry pi 0, 0-W, 1

guide and script to build by yourself

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

ipipe patched 4.1.21 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.1.21 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

scripts, guide, patched 4.1.21 kernel source, pre-built kernel with xenomai 3 for raspberry pi 0, 0-W, 1

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published