So how does this differ from the work on lkl (the linux kernel library: <a href="https:&#x2F;&#x2F;www.researchgate.net&#x2F;publication&#x2F;224164682_LKL_The_Linux_kernel_library" rel="nofollow">https:&#x2F;&#x2F;www.researchgate.net&#x2F;publication&#x2F;224164682_LKL_The_L...</a>)? Is it that they&#x27;re actually rewriting their own kernel components with the goal of modularity&#x2F;minimality?