Skip to content

Latest commit

 

History

History
34 lines (23 loc) · 766 Bytes

3.0.1.md

File metadata and controls

34 lines (23 loc) · 766 Bytes
Raw
title version redirect_from project SPDX-License-Identifier SPDX-FileCopyrightText
seL4 3.0.1
3.0.1
/sel4_release/seL4_3.0.1/
/sel4_release/seL4_3.0.1.html
sel4
CC-BY-SA-4.0
2020 seL4 Project a Series of LF Projects, LLC.

seL4 3.0.1 Release Notes

This release adds support for the NVIDIA Tegra K1, along with other minor improvements.

Implementation improvements

  • Support for NVIDIA Nvidia Tegra K1 added.
  • more reduction of duplication between kernel and libsel4.
  • Beagle now uses GPT9 instead of GPT11 as the kernel timer, which is much more accurate.
  • Fixes a bug where x86 would fault when built using -O0.

Upgrade notes

This change is source and binary compatible.

Full changelog

Use git log 3.0.0..3.0.1