Por favor, disculpe mi ignorancia. Soy un chico 'pasado de moda' que piensa que solo hay 'software' y 'hardware', y estas son dos cosas separadas. En esta línea de pensamiento, un sistema operativo es parte del software, y un microkernel es parte del sistema operativo. (Estoy al tanto del debate sobre Microkernels, y cómo Linux no lo hizo realmente termine usando uno ).
También estoy consciente de que puedes hacer cosas bastante sorprendentes con FPGAs - pero tal vez asumí que esto era limitado a microcode y DSP .
Entonces, cuando escucho la cita:
Apple está usando el kernel L4 ... Es el microkernel en el Enclave seguro
Estoy fascinado.
Soy consciente de que L4 es el microkernel que ha sido 'probado' correcto contra su especificación. Pero para mí, eso es parte del sistema operativo. (es decir, cargado desde el disco a la memoria y luego las instrucciones se transfieren a la CPU a través del Bus).
Mi pregunta es: ¿Cómo parte de un microprocesador (enclave seguro de Apple) utiliza un microkernel (L4)? (¿Es este un tipo de FPGA? ¿Lo introducen en la parte que expone los transistores y "incorporan" el software en silicio?)