The bootloader, kernel, and core modules of DarkSide OS