commit d9416fe321d49ffdd1d8a64c10a599689885c67d Author: Alexandre Joannou Date: Tue Mar 5 11:29:53 2019 +0000 Adding a readme diff --git a/readme.md b/readme.md new file mode 100644 index 0000000..3b33de2 --- /dev/null +++ b/readme.md @@ -0,0 +1,6 @@ +# CHERI CAP LIB +The cheri-cap-lib repository is meant to gather several specific implementations of CHERI capabilities and provide a common interface. + +# TODO +- pull in the various known BSV implementations +- pull in the existing testing infrastructure