My CS undergrad in the UK had us write an ARM kernel with scheduling and IPC, though didn’t require we use the MMU.