[Library] kernelDB seems to work now