Official Solution and Source Code for the "Mock Kernel" challenge from UIUCTF 2023 - View it on GitHub