The bootloader, kernel, and modules of DarkSide OS