From d9416fe321d49ffdd1d8a64c10a599689885c67d Mon Sep 17 00:00:00 2001 From: Alexandre Joannou Date: Tue, 5 Mar 2019 11:29:53 +0000 Subject: [PATCH] Adding a readme --- readme.md | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 readme.md 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