Kernel: differenze tra le versioni

Versione delle 21:20, 23 gen 2005

Versione delle 00:21, 24 gen 2005

Riga 41:

== 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 è [[AmigaOS#Exec|Exec]], abbreviazione di Executive Multitasking (e il suo diretto successore [[AmigaOS#ExecSG|ExecSG]]) che è il kernel di [[AmigaOS]].

== Kernel monolitici e microkernel a confronto ==