tree 540ec29a906606b52ac01655a565fe73e80c53a6
parent d2af53182cfd9c62ce409dfbac75b00a25cc4e68
author Kent McLeod <Kent.Mcleod@data61.csiro.au> 1568334295 +1000
committer Kent McLeod <Kent.Mcleod@data61.csiro.au> 1568334364 +1000

CMake: Add FindseL4_libs.cmake module

This adds support for importing this project via
`find_package(seL4_libs)` if the project exists in the
CMAKE_MODULE_PATH.