Ett av fagene som kjøres på høsten (jeg tror det er «TTK4147 Sanntidssystemer») trenger programvaren Xenomai. Xenomai er på en måte en egen OS-kjerne som kjøres parallelt med Linux og muliggjør skikkelig sanntidsstyring av datamaskinen. Hvis de bare hadde brukt Linux hadde de blitt begrenset av prosesshåndteringen til Linux og det blir vist for lite «sanntid» for faget.

Xenomai legges til i Linux ved å patche Linux-kjernen. X-patchene fungerer bare på noen spesielle (gamle) versjoner av Linux-kjernen, så vi fant ut at den letteste måten å fikse X på var å legge inn Mint-installasjonen fra Studassenes image fra H2014, siden kjernen der allerede var patchet.

For å ikke skape et større prosjekt enn nødvendig

• endret vi ikke partisjonstabellen; da måtte vi ha rullet ut hele imaget på nytt
• la vi Mint-installasjonen på «/home»-partisjonen, altså den som hjemmemappene til drift- og studentbrukerne ligger på
• gikk vi inn i Ubuntu-installasjonen og kjørte denne kommandoen for at Mint skulle dukke opp i GRUB (bootloader'n):
  • sudo update-grub

For å rulle ut til alle maskinene brukte vi SCP for å kopiere en komprimert versjon av hele Mint-filtreet til maskinene. Kommandoene vi brukte, fra terminalen i Ubuntu-installasjonen, var som følger:

sudo bash
cd /home/
scp clone@jobb.stavdahl.no:mint.tar.gz /dev/stdout | tar xvfz
update-grub