Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add served-by-seL4 footer to mobile pages #416

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
+6 −0
Open

Add served-by-seL4 footer to mobile pages #416

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 6 additions & 0 deletions _layouts/default.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -80,6 +80,12 @@
<a href="https://www.linkedin.com/company/sel4"><img style="height:36px; padding-left:5px; padding-top:2px; padding-bottom:2px;" src={{ "/images/icons/linkedin.svg" | relative_url }} alt="linkedin icon"></a>
<br>
<br>
{% if site.on_seL4 %}
<a href="/Info/Website/">About this web server</a>
Served by <a href="https://micropython.org/">MicroPython</a>
on <a href="https://lionsos.org/"> LionsOS</a> on seL4.
<br/>
{% endif %}
Comment on lines +83 to +88
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would it makes sense to make this a small _includes file? I worry about duplicating the text and links here and people then later only updating one of them. (To be fair, the rest of the footer also has a bunch of duplication, so I'm not entirely sure it's worth it).

Copyright &copy; 2024 seL4 Project a Series of LF Projects, LLC.<br/>
seL4 is a trademark of LF Projects, LLC.<br/>
For trademark usage guidelines, privacy and cookie policies,
Expand Down