Giter Site home page Giter Site logo

website's Introduction

seL4 Website

The seL4.systems website is built with the static site generator Jekyll, which uses the Liquid templating engine.

Setting up Ruby

Installing rbenv

We recommend using rbenv to install the correct Ruby version.

On Mac:

homebrew install ruby-build rbenv

On Linux:

apt install rbenv

Setting up rbenv

# follow the instructions this command shows, and start a new shell afterwards
rbenv init
# in the docs directory (root of this repo):
rebenv install

After these, you should be able to forget about rbenv, the Makefile will now see the correct Ruby version.

Build

Running make build will generate the pages and put them into the _site/ directory. To preview the website locally, run

make serve

for the production build and make debug for the development build. See make help for all options.

Docker

The directory docker/ provides a docker file and some scripts to host the website inside a container. It is also used for GitHub pull request checks and preview.

To use the docker container locally, install docker and run

cd docker
make

This will build the container (takes a while the first time), and then run it such that you can preview the website on port 8080 on your local machine.

Making Changes

Contributions are welcome โ€” if you find anything out of date, any typos or inaccuracies, please raise a pull request on this repository.

Links

For the preview functionality on pull requests to work, all links to internal pages and images need to be relative to the file they are made from. That means, please do not use links that start with a / such as /Foundation/page.html even though Jekyll encourages that.

There are two ways to use relative links: either directly use the relative path (usually nicer), or use the relative_url function in Jekyll/Liquid.

Examples:

<a href="../Foundation/a-page.html">
<img src="../images/something.jpg">

With relative_url:

<a href={{ "/Foundation/a-page.html" | relative_url }}>

Note: relative_url only produces a site-relative URL not a path-relative URL, but Jekyll has enough setup to prepend the correct prefix for the GitHub previews to work, so it is fine to use.

Licences

Files in this repository (with a few exceptions) are released under standard open source licences, identified by SPDX Licence tags. See individual file headers for details.

As a general rule, new code files should be under BSD-2-Clause, and documents under the [Creative Commons Licence CC-BY-SA 4.0 International licence in this repository.

This repository also contains a copy of the Bootstrap CSS, which is licensed under the MIT licence.

Some files contain representations of trademarks. Irrespective of any licence markings, logos and trademarks in this repository are owned by their respective owners. No licenses or other rights in or to such logos and/or trademarks are granted. The Trademark guidelines for the seL4 Foundation can be found at https://sel4.systems/Foundation/Trademark

Permission to use pictures of people have been granted for display on the seL4.systems website only. Please do not use them for any other purpose.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.