History log of /seL4-camkes-master/projects/global-components/components/ResetServer/libResetServer-client/CMakeLists.txt
Revision Date Author Comments
# 16dc223e 22-Mar-2020 Damon Lee <Damon.Lee@data61.csiro.au>

components: Add ResetServer component

This commit introduces the ResetServer component, which as the name
suggests, is intended to wrap over a reset controller's driver and
multiplex access to multiple clients. The commit also includes a client
library which can wrap the ResetServer's function inside a reset_sys_t
interface in libplatsupport.