# A microkernel fully hardcoded in hardware?

Does there exist a (micro-)kernel of an operating system that is fully implemented in hardware? That is, a kernel that is not stored in RAM, and loaded into CPU registers after an interrupt or system call, but is instead a fully hardcoded part of the CPU itself, so that a system call/interrupt never leads to a context switch?

Here is a relevant result I found with a quick Google search on microkernel fpga and os kernel fpga: