As of writing this PR, the link to the repo installation documentation
redirects to a page titled “Download the Android source,”
which does not include instructions on how to install the repo.
Therefore, we would like to use a different link for the installation
instructions.
Signed-off-by: daichifukui <a.dog.will.talk@akane.waseda.jp>
- style checker udpate is complaining about commented out line; remove.
- remove unused import
- fix other trivial python lints
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
All required python dependencies should be part of camkes-deps (which
includes sel4-deps). If they are not, these packages should be updated.
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
Remove old MCS variant releases from side bar, because people are
getting confused where the actual MCS kernel is.
The old MCS releases are still availabel as before, just not from side
bar navigation. The main releases page already has a comment that MCS
is now part of the normal mainline kernel.
Also remove experimental branches from side bar, because we don't really
do those any more.
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
- update links to point to GitHub RFC process
- remove text on the docsite and link to RFC repo instead
Ideally we'd include some of the RFC repo text directly on the docsite,
but that can be a future step.
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
Add missing platforms with `bundle lock --add-platform ..` and
`bundle update`.
Not tested on Windows, but the tzinfo dependency was added specifically
for Windows at some point, so it may well work. Adding the Windows
platform removes the annoying warning about tzinfo.
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This should really be managed with a requirements.txt and some kind of
virtual env setup, but that's a later step.
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
- reorganise README to show build instructions earlier
- seprate install from build
- rewrap at 80
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
- Constrain sass-embedded to <=1.53 in Gemfile, because later versions
produce version conflicts on Linux.
- Update locked versions with `bundle upate`` and bring bundler version
in line with pinned ruby version.
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
The doc site currently uses some old Jekyll plugins that only
support Ruby version 2.
The .ruby-version file works with `rvm` and `rbenv` to force the
use of a suitable Ruby version. Version 2.7.8 is the last version
of Ruby 2, which is now past end-of-life.
Even for folks who don't use `rvm` or `rbenv`, the .ruby-version
file is a useful indicator of which version of Ruby to use.
Signed-off-by: Birgit Brecknell <bbrcknl@gmail.com>
3.1 is the version available in Ubuntu 20.04LTS, which is recommended in the
current install instructions. Later versions also work and output seems to be
stable for our sources. Versions earlier than 3.0 no longer work with the
options in our .astylerc.
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This was missing from the list of files that need to be
on the booting parition of the SD card.
The testing that I have personally done with the Raspberry Pi 4B
has always had this file on the SD card, it just was not mentioned
as part of the documentation.
The Raspberry Pi documentation mentions that this file is required
to match up with the 'start4.elf' firmware.
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
Previously the instructions said to add this config option
and select a particular UART in the seL4 kernel DTS overlay.
I believe this is not necessary and so in a previous commit
to the documentation, removed the patch to the seL4 kernel
DTS.
However, the default UART selected by seL4 only works if this
line is not in the config.txt file.
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
This reverts commit 5b8af67b86.
nokogiri-1.16.3 requires >= ruby 3.0, which breaks the sel4webserver
demo build (the VM only has ruby 2.7). The security issue addressd in
this version bump is not relevant for the docsite, because there is no
user-supplied input to nokogiri at any point in the live site.
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
- remove multikernel item as completed (new mk item to be added when
funding is available)
- update AARCH64 status to FC complete, integrity ongoing
- update TX2 board status
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
* seL4 deps: fix broken links; retire Debian Stretch
- Debian Stretch hasn't been supported for a while. Remove the
instructions for it.
- Fix broken links to docker files -- firstly, the content was never in
those files (but the scripts instead), and secondly the links were
broken. The now point to the script files that contain the actual
dependencies.
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
* supported platforms page:
* added a "Not in the lists below?" section
* kernel-contribution.html:
* added an intro paragraph linking back to the supported platforms
page and other options than developing yourself
* Added link to new platform owner page
* BSD -> BSD/platform (the porting page uses 'platform')
* fixed small typo (Contrbution)
* new platform owner page
Signed-off-by: June Andronick <june.andronick@proofcraft.systems>
Co-authored-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
* hardware: separate the unmaintained platforms
- removed unmaintained platforms from existing tables
- created a new table at the end for unmaintained platforms
- only created a table for ARM for now as there is no unmaintained
platforms for RISC-V or x86
- put all this section in grey for a visual clue that there is
something different to pay attention to
- added a line to split even more that section
- added some text to explain what unmaintained means
---------
Signed-off-by: June Andronick <june.andronick@proofcraft.systems>
- adds microkit and rust repos
- removes new PR workflows
- updates broken badge URL format
Generated from changes in seL4/ci-actions#338
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
* hardware: make title consistent in page/menus
Used the term "Supported platforms" (after discussion with
Gerwin and Ivan) for: the page title, the side menu and the landing page
(table of content).
Signed-off-by: June Andronick <june.andronick@proofcraft.systems>
Co-authored-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
daichifukui