secc
/
seL4-camkes-tool
mirror of https://github.com/seL4/camkes-tool.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

readme: add vulnerability reporting policy (#74) 

Signed-off-by: Matthew Brecknell <matthew@brecknell.net>
This commit is contained in:
Matthew Brecknell 2021-06-30 15:29:58 +10:00 committed by GitHub
parent 74decfb8a1
commit 4bc72046d8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
README.md
View File

@ -15,3 +15,11 @@ For more information about CAmkES functionality, see the
## Dependencies
See the wiki: https://docs.sel4.systems/CAmkES/#build-dependencies
## Reporting security vulnerabilities
If you believe you have found a security vulnerability in code generated by
camkes-tool, we ask you to follow the seL4 [vulnerability disclosure
policy][VDP].
[VDP]: https://github.com/seL4/seL4/blob/master/SECURITY.md