secc
/
seL4-camkes-tool
mirror of https://github.com/seL4/camkes-tool.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
seL4-camkes-tool/components
History
Chris Guikema 9cfea69b09 serial: rename Serial.camkes files 
This fixes an "unknown reference to 'Serial'" issue seen on MacOS.

Signed-off-by: Chris Guikema <chrisguikema@dornerworks.com>
 		2022-09-30 11:22:14 +02:00
..
arch convert to SDPX license tags 2021-02-12 17:24:15 +11:00
plat/pc99/plat serial: rename Serial.camkes files 2022-09-30 11:22:14 +02:00
README.md convert to SDPX license tags 2021-02-12 17:24:15 +11:00
components.cmake trivial: fix wrong include path (#111) 2022-06-17 01:48:26 +10:00
serial.camkes convert to SDPX license tags 2021-02-12 17:24:15 +11:00
timers.camkes convert to SDPX license tags 2021-02-12 17:24:15 +11:00

README.md

Components

This directory is for reusable components and is split into general and platform/architecture/machine specific components.