Come compilare il Kernel Linux con Supporto Realtime

Di:
tramite: O2O
Difficoltà: difficile
16

Introduzione

Compilare un Kernel Linux applicando la patch con la quale si abilita lo scheduler specifico per i processi Real Time, non è qualcosa di arabo ma comprensibile, naturalmente per un esperto. Il Real time nasce affinché il sistema dia una risposta, non in tempi veloci, ma in tempi prefissati di una elaborazione e quindi in certi casi non fa altro che interrompere un processo in corso per passare ad un'altro che possiede una priorità più elevata. Per fare questo è necessaria la schedulazione, che ci permette di sapere se un task, cioè l'elaborazione, è eseguile in un dato lasso temporale prestabilito. Ovviamente in questo caso ci occupiamo di un Kernel di Linux, per cui di base è necessaria una conoscenza del sistema operativo in questione. Vediamo come fare con un supporto Realtime.

26

Occorrente

Assicurati di avere a portata di mano:
  • Sistema operativo linux installato
  • Sorgenti del kernel (reperibili su www.kernel.org)
  • Patch per il real time reperibile semrpe su www.kernel.org
36

Procurarsi innanzitutto le sorgenti del kernel linux e della patch per il realtime. I link sono i seguenti:
Per i sorgenti del kernel: http://www.kernel.org/
Per la patch: http://www.kernel.org/pub/linux/kernel/projects/rt/
Assicurarsi di scaricare la patch con stesso numero di versione del kernel, altrimenti non sarebbero compatibili. Ora posizionatevi nella cartella dove avete scompattato il kernel e prima di tutto copiate il file con la vecchia configurazione, dando:
"cp /boot/config /path del kernel/"
Adesso digitiamo:
"make oldconfig", e rispondiamo "Si" a tutte le domande che il sistema ci pone.

46

Una volta terminato ll comando precedente date il comando:
"bzcat /path dellapatch/patch-2.6. Xx-rtyy. Tar. Bz2 | patch -p1"
Questo inserirà la patch del real time nel kernel linux. A questo punto digitate il seguente comando "make menuconfig"
Portatevi su "Processor Type and features" e alla voce "Preemption mode" selezionate
"Complete Preemption (RealTime)".
E alla voce "Timer Frequency" scegliete come valore:
"1000hz".
Fatto ciò, se lo ritenete necessario potete effettuare altre modifiche al kernel. Una volta terminato date i seguenti comandi:
"make -j5 bzImage"
"make -j5 modules"
"make modules_install"

Continua la lettura
56

Eccoci giunti al termine. Non resta che copiare i files:
". Config
System. Map
arch/x86/boot/bzImage nella cartella /boot".
Ora per provare il vostro nuovo kernel avete 2 possibilità:
Usare la shell di grub all'avvio e caricare manualmente i files.
Oppure creare una nuova entry per grub, questo lo potete fare facilmente copiando i valori per la versione di default del kernel che trovate normalmente /boot/grub/menu. Lst stando ovviamente attenti a modificare i path e i nomi files, con quelli relativi al nuovo kernel.
Come avete potuto notare, seguendo questi passaggi non sarà difficile operare su vostro sistema linux.

66

Consigli

Non dimenticare mai:
  • Evitate di sovrascrivere il kernel di default, in caso di problemi nella compilazione rischiate soltanto di danneggiare la vostra installazione linux.

Potrebbe interessarti anche

Segnala contenuti non appropriati

Tipo di contenuto
Devi scegliere almeno una delle opzioni
Descrivi il problema
Devi inserire una descrizione del problema
Si è verificato un errore nel sistema. Riprova più tardi.
Verifica la tua identità
Devi verificare la tua identità
chiudi
Grazie per averci aiutato a migliorare la qualità dei nostri contenuti

Guide simili

Linux

Come cancellare i kernel inutilizzati da Ubuntu

Ubuntu è una distribuzione Linux che, dal suo inizio, sta acquisendo una sempre maggiore diffusione fra gli utenti del sistema operativo Open Source. I vantaggi ...
Linux

Come ripulire Ubuntu dai file inutili

Si stanno diffondendo sempre di più dei sistemi operativi alternativi a Windows. Quest'ultimi infatti il più delle volte sono bastati su Linux. Tra le ...
Linux

Le migliori distro per netbook del 2013

Una distribuzione Linux (detta anche distribuzione GNU/Linux, gergalmente distro), è una distribuzione software che costituisce un sistema operativo basato sulla famiglia dei sistemi utilizzanti ...
Linux

Come Ripristinare Il Grub2 Corrotto

Avete installato in Dual Boot Windows 7 con una distribuzione Linux? Sicuramente avvierete i sistemi operativi sfruttando quello che è il boot loader di Linux ...
Linux

Come usare Linux: Le basi

Linux è un nuovo sistema operativo di tipo Unix. La grande differenza rispetto alla prima versione è che può essere liberamente scaricata dalla rete. E ...
Windows

Come trasformare un PC in Chromebook

Pronti per il nuovo sistema operativo destinato ai vosti notebook? Ecco infatti che il colosso di Mountain View cerca di rubare il trono alle prime ...
Linux

Come installare Knoppix

Knoppix è uno strumento Live CD di GNU/Linux. Ideato da Klaus Knopper, recupera facilmente sistemi danneggiati o compromessi. Installato su hard-disk sostituisce egregiamente il ...
Linux

Come Installare Grub Ubuntu

Qualsiasi personal computer si può configurare in dual-boot. In tal senso, potrai scegliere di volta in volta quale sistema operativo avviare. Grub è un boot ...
Linux

Come controllare un pc Linux a distanza

Linux e la relativa galassia delle sue distribuzioni sta avendo negli ultimi anni un'esplosione meritatisima. Se fino a qualche anno fa il solo menzionarlo ...
Linux

Come risolvere il problema dell'audio mancante in Ubuntu

Ubuntu è un sistema operativo con un cuore Linux. Possiede grandi potenzialità ed ottime prestazioni anche sulle macchine antiche. Ubuntu riconosce immediatamente le componenti hardware ...
Linux

Come Aggiungere Un Collegamento Al Desktop Di Linux

Linux, insieme con Windows e Mac, è uno dei tre sistemi operativi maggiormente utilizzati a livello mondiale, sia per quanto riguarda i PC desktop che ...
Linux

I vantaggi di Linux

Linux è una famiglia di sistemi operativi che con le loro distribuzioni rappresentano un'ottima alternativa a Windows o Mac. Linux è stato originariamente sviluppato ...
Linux

I migliori antivirus per Linux

Linux è universalmente conosciuto come un sistema molto sicuro. È opinione diffusa che Linux sia anche immune da virus, malware e spyware. Partiamo con lo ...
Sicurezza

Come costruirti un dvd di windows 7 con le patch già inserite

Quando viene rilasciato un nuovo sistema operativo, non sempre risulta funzionante al cento per cento, ma presenta qualche bug, che viene corretto man mano, con ...
Linux

Come utilizzare ubuntu senza installarlo

I sistemi operativi sono dei particolari software che consento di interfacciare l'utente con l'hardware presente all'interno del nostro computer. Senza il sistema ...
Sicurezza

Come proteggere i file su Dropbox con EncFS

La privacy dei file e dei documenti elettronici è divenuto un aspetto fondamentale nella vita di un gran numero di persone. Questo è dovuto al ...
Linux

Come Installare un S.O. linux o debian con Linux Live USB Creator

Nella propria vita lavorativa e non solo, poter contare in ogni momento su un ottimo ed efficiente computer che riesca così a farci svolgere tutte ...
Linux

Come ottenere informazioni sul nostro pc con CPU-g

In ambiente Linux esistono molti applicativi che ci consentono di ottenere informazioni dettagliate sul nostro PC.
Alcuni di questi, come lshw, funzionano sia da shell ...
Mac

Come scrivere su scheda SD senza permessi di root

Sempre di più ci ritroviamo a dover scrivere su una scheda SD e ci fermiamo poiché non riusciamo e riceviamo un errore dovuto ai permessi ...
Linux

Come installare un programma su Linux

Ormai esistono diversi sistemi operativi, tutti progettati per le esigenze degli utenti. Per la maggior parte la gente preferisce utilizzare ancora Windows come SO, ma ...
I presenti contributi sono stati redatti dagli autori ivi menzionati a solo scopo informativo tramite l’utilizzo della piattaforma www.o2o.it e possono essere modificati dagli stessi in qualsiasi momento. Il sito web, www.o2o.it e Arnoldo Mondadori Editore S.p.A. (già Banzai Media S.r.l. fusa per incorporazione in Arnoldo Mondadori Editore S.p.A.), non garantiscono la veridicità, correttezza e completezza di tali contributi e, pertanto, non si assumono alcuna responsabilità in merito all’utilizzo delle informazioni ivi riportate. Per maggiori informazioni leggi il “Disclaimer»”.