Modules for test kernel Ikuzo