machinekit/machinekit.github.io — pull request #24 by RunningLight (2014-10-12 16:43:28+00:00)
Title: fixes #22

Change name of Raspberry Pi Xenomai kernel package and add Note to
alert reader to possible future changes in kernel-naming conventions.

I used a new editor (atom) which seems to have created a few unnecessary but harmless deletions/additions. The end result is correct.