https://github.com/sel4/sel4webserver-manifest

https://github.com/sel4/sel4webserver-manifest

Last synced: 10 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/sel4/sel4webserver-manifest
• Owner: seL4
• Created: 2019-09-20T11:28:50.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2025-07-14T23:17:47.000Z (about 1 year ago)
• Last Synced: 2025-07-15T03:46:49.969Z (about 1 year ago)
• Size: 265 KB
• Stars: 2
• Watchers: 20
• Forks: 2
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • Contributing: .github/CONTRIBUTING.md
  • License: LICENSES/BSD-2-Clause.txt
  • Code of conduct: .github/CODE_OF_CONDUCT.md

Awesome Lists containing this project

README

          


# seL4webserver reference application

This repository contains the manifest for the [seL4webserver application](https://github.com/sel4/sel4webserver).

See [Build Instructions](https://github.com/sel4/sel4webserver/blob/master/README.md#build-instructions) for setup information.