Hai cercato la traduzione di microkernel da Italiano a Inglese

quando ci riferiamo al microkernel, diciamo ``mach'' e lo usiamo come un nome proprio.
when we are referring to the microkernel, we say ``mach'' and use it as a proper noun.

al momento, hurd viene eseguito su architetture ia32. hurd potrebbe, e probabilmente sarà, portato in futuro su altre architetture hardware o altri microkernel.
currently, the hurd runs on ia32 machines. the hurd should, and probably will, be ported to other hardware architectures or other microkernels in the future.

fino adesso abbiamo visto i cosiddetti os monolitici, ma esiste anche un'altra famiglia di os, quella basata sui ''microkernel''.
until now we viewed so called monolithic os, but there is also another kind of os: ''microkernel''.

la proprietà threadstate indica lo stato di esecuzione corrente del thread. un thread può presentare uno dei seguenti otto valori: initialized (riconosciuto dal microkernel), ready (pronto per essere eseguito sul successivo processore disponibile), running (in esecuzione), standby (in attesa di essere eseguito; valido per un solo thread alla volta), terminated (esecuzione completata), waiting (non pronto per il processore; verrà ripianificato quando pronto), transition (in attesa di risorse diverse dal processore), and unknown (stato non riconosciuto).
the threadstate property indicates the current execution state for the thread. a thread can have one of eight values: initialized (recognized by the microkernel), ready (prepared to run on next available processor), running (executing), standby (about to run, only one thread may be in this state at a time), terminated (finished executing), waiting (not ready for the processor, when ready, it will be rescheduled), transition (thread is waiting for resources other than the processor), and unknown (the thread state is unknown).