Sel4 beta #407
Closed
Sel4 beta #407
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Add a simple architecture diagram for the seL4 webserver, and a description and where to get the source. Signed-off-by: Peter Chubb <peter.chubb@unsw.edu.au>
Signed-off-by: Peter Chubb <peter.chubb@unsw.edu.au>
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: James Archer <j.archer@unsw.edu.au>
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
|
Preview your changes here The HTML5 validator found some issues! |
This allows us to build versions of the website for running on seL4/LionsOS, and for running on a more standard webserver. `make build` builds in _site, `make on_seL4` builds into _site_on_seL4, and includes any material protected by an `if site.on_seL4` guard. Currently that's only in the template. Signed-off-by: Peter Chubb <Peter.Chubb@unsw.edu.au>
Info/website/index.html had some blank lines at the end; delete them. Signed-off-by: Peter Chubb <Peter.Chubb@unsw.edu.au>
|
Preview your changes here The HTML5 validator found some issues! |
1 similar comment
|
Preview your changes here The HTML5 validator found some issues! |
Replace typo = with colon. Signed-off-by: Peter Chubb <Peter.Chubb@unsw.edu.au>
|
Preview your changes here |
Add instructions to build for the LionsOS variant to the readme. Signed-off-by: Peter Chubb <Peter.Chubb@unsw.edu.au>
|
Preview your changes here |
lsf37
approved these changes
Sep 25, 2024
There was a problem hiding this comment.
Looks good from my side. Can you please squash some of the fixup commits before merging?
@june-andronick good to merge from your side as well?
june-andronick
approved these changes
Sep 25, 2024
|
Merged. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This is to prepare for running seL4.systems on LionsOS/seL4 --- it allows us to build the current version
and also to build a version with the 'running on lionsOS on seL4' footer.