secc
/
seL4-webserver-manifest
mirror of https://github.com/seL4/sel4webserver-manifest.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
635 Commits 1 Branch 4 Tags 460 KiB
Text 100%
Go to file
seL4 CI be945fcd8b Updating default.xml 
Change-Id: If8ef3420134edbeee6af83a6a4b707fec7c13908
 		2024-09-23 09:28:12 +00:00
.github trivial: fix link to LICENSES directory 2021-08-31 17:00:14 +10:00
LICENSES SPDX license tags and seL4 Foundation setup 2020-12-04 10:30:07 +11:00
README.md SPDX license tags and seL4 Foundation setup 2020-12-04 10:30:07 +11:00
default.xml Updating default.xml 2024-09-23 09:28:12 +00:00
master.xml Remove reference to obsolete repo 2022-11-15 08:30:11 +11:00

README.md

seL4webserver reference application

This repository contains the manifest for the seL4webserver application.

See Build Instructions for setup information.