secc
/
seL4-webserver-manifest
mirror of https://github.com/seL4/sel4webserver-manifest.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
723 Commits 1 Branch 4 Tags 594 KiB
Text 100%
Go to file
seL4 CI 35d4d5a909 Updating default.xml 
Change-Id: Id2b82f115a80869f5ea609fd622d04fef0f22a5a
 		2025-07-08 10:16:25 +00:00
.github github: use central CI workflows 2025-03-17 11:28:47 +11: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 2025-07-08 10:16:25 +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.