the kernel of the lofty-desktop and lofty-mobile