We will write a driver for the PL031 real-time clock device.
After looking at the exercises, you can look at the solutions provided.