A real-time kernel for the Sega Saturn