Kernel: differenze tra le versioni

Versione delle 16:09, 21 dic 2004

Versione delle 18:24, 21 dic 2004

Riga 57:

== Microkernel atipici ==

Vi sono aluni tipi di microkernel che non possono essere definiti esattamente come tali, perché non implementano alcune funzioni come i servizi server sebbene siano caratterizzati dalle altre prerogative che definiscono i microkernel. Il più noto di essi è [[Exec]], abbreviazione di Executive Multitasking (e il suo diretto successore [http://it.wikipedia.org/AmigaOS#ExecSG ExecSG]) che è il kernel di [[AmigaOS, che può essere definita come ''executive library kernel'']].

= Kernel ibridi (microkernel modificati)=