website/404.html at master · seL4/website · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
---
# Copyright 2024 seL4 Project a Series of LF Projects, LLC.
# SPDX-License-Identifier: CC-BY-SA-4.0
layout: card
title: "Page Not Found :-("
pre: "404"
sub: "<p>Oops, this page does not seem to exist.</p>"
---

<div class="max-w-4xl mx-auto pb-12 sm:pb-24">

  <div class="grid grid-cols-2 gap-10 pb-12">

    {% include card.html
      icon="light-bulb"
      title="seL4 Home"
      body="Return to the seL4 home page."
      link="/"
      link_text="Go to page"
    %}

    {% include card.html
      icon="book-open"
      title="seL4 Docsite"
      body="Go to the seL4 documentation site"
      link="https://docs.sel4.systems/"
      link_text="Go to page"
    %}

  </div>
  <p class="text-dark">
    If you found a link on this site that is not working, please consider <a
      href="https://github.com/seL4/website/issues">filing an issue</a> to let us
    know or opening a pull request to fix it on the
    <a href="https://github.com/seL4/website">seL4 website GitHub repository</a>.
  </p>

</div>