History log of /seL4-camkes-master/projects/camkes-tool/components/plat/pc99/plat/CMakeLists.txt
Revision Date Author Comments
# 0d90057f 07-Oct-2018 Adam Felizzi <Adam.Felizzi@data61.csiro.au>

component: PC99 Serial Component

Implemented a PC99 serial component. This is a hardware CAmkES
component that can be used to gain access to the serial device on
the PC99 platform.
# 08eae59c 12-Sep-2018 Anna Lyons <Anna.Lyons@data61.csiro.au>

components: Add Pit component to pc99 timers.