there is an L4 based effort for HPC at TU Dresden called FFMK. the reality is that for HPC you still need high-performance implementation of fast-path system calls (e.g., memory and process management) and the…
Hi, I'm another person involved with McKernel from early on. The name actually originates from Many-core Kernel (intended for many-core CPUs). In addition, a clarification regarding standalone LWKs, mainly two reasons…
there is an L4 based effort for HPC at TU Dresden called FFMK. the reality is that for HPC you still need high-performance implementation of fast-path system calls (e.g., memory and process management) and the…
Hi, I'm another person involved with McKernel from early on. The name actually originates from Many-core Kernel (intended for many-core CPUs). In addition, a clarification regarding standalone LWKs, mainly two reasons…