add new releases

Signed-off-by: Gerwin Klein <[email protected]>

_config.yml

@@ -42,10 +42,10 @@ collections:
   status:
     output: true
 
-sel4: "12.1.0"
-camkes: "camkes-3.10.0"
-capdl: "0.2.1"
-
+sel4: "13.0.0"
+camkes: "camkes-3.11.0"
+capdl: "0.3.0"
+microkit: "1.3.0"
 
 # Front matter defaults:
 defaults:

_includes/custom-navbar.html

@@ -32,16 +32,12 @@
       <li class="list-unstyled text-right">
       <a href="/releases/sel4/{{ site.sel4 }}"><b>seL4-{{ site.sel4 }}</b></a></li>
       <li class="list-unstyled text-right">
+      <a href="/releases/microkit/{{ site.microkit }}"><b>microkit-{{ site.microkit }}</b></a></li>
+      <li class="list-unstyled text-right">
       <a href="/releases/camkes/{{ site.camkes }}"><b>{{ site.camkes }}</b></a></li>
       <li class="list-unstyled text-right">
-      <a href="/releases/capdl/{{ site.capdl }}"><b>CapDL-{{ site.capdl }}</b></a></li>
-    </ol>
-  </nav>
-  <nav class="sel-version">
-    <ol class="list-unstyled">
-      <li class="list-unstyled text-center">
-      <a href="https://sel4.discourse.group/t/15-june-2021-release/373"><b>Announcing new releases: </b></a></li>
-    </ol>
+      <a href="/releases/capdl/{{ site.capdl }}"><b>capDL-{{ site.capdl }}</b></a></li>
+      </ol>
   </nav>
   <div class='clear'></div>
 </div>

content_collections/_releases/camkes/camkes-3.11.0.md

@@ -0,0 +1,89 @@
+---
+version: camkes-3.11.0
+title: camkes-3.11.0
+project: camkes
+SPDX-License-Identifier: CC-BY-SA-4.0
+SPDX-FileCopyrightText: 2024 seL4 Project a Series of LF Projects, LLC.
+---
+
+# CAmkES Version camkes-3.11.0 Release
+
+#### 2024-07-01
+
+Announcing the release of `camkes-3.11.0`, using seL4 version 13.0.0.
+
+### Changes
+
+#### Added/Removed
+
+* Added support for SMC capabilities
+* Allow camkes components to know affinity; add build time error check for affinity
+* dataport: Add getter for frame size
+* `libsel4camkes`: expose `get_virtqueue_channel`
+* Added RISC-V in `is_64_bit_arch()`
+* Added helpers `is_arch_arm()` and `is_arch_riscv()`
+* Added an additional parameter with the current architectures for the macros
+  `parse_dtb_node_interrupts()` and `global_endpoint_badges()`.
+* Added support for C++ source files in CAmkES components
+* parser: Support address translation ranges
+* `serial:` add config options for different ports
+* Extended DTB interrupt property parsing to support either one value or three
+  values per interrupt. For three values, ignore the first value on RISC-V.
+* Add vulnerability reporting policy
+* Name frames in a region for easy sorting: When generating a set of frames to
+  cover a region, use as many digits as necessary so that the capDL tool, when
+  it sorts alphabetically, will still leave frames that are meant to be
+  contiguous contiguous.
+* Remove references to and support of ARMv6 and the `kzm` platform
+
+#### Fixed
+
+* component.simple: fix mismatched type size, which may cause data overflow when
+  `CONFIG_WORD_SIZE` is 64. Use the `CLZL()` macro to correctly handle the
+  specified `CONFIG_WORD_SIZE`.
+* parser,fdtQueryEngine: Fix parser bug with DTB queries
+* Make sure fault handler and control run on same core as component
+* Improve error messages
+* cmake: add missing parameter `DTB_FILE_PATH`
+* fix `CAMKES_ROOT_DTS_FILE_PATH` check
+* serial: rename Serial.camkes files. This fixes an "unknown reference to
+  'Serial'" issue seen on MacOS.
+* Fix IOAPIC vs MSI check in `irq.c`
+* `component.common:` align morecore region to 0x1000. This region is used for
+  mmap and brk allocations. If the 4k implementation alignment assumption isn't
+  obeyed then memory errors are possible.
+* Avoid printing internal debug info
+* Consistently use CONFIG_PLAT in `camkes_sys_uname()` for all architectures.
+* More robust catching of `objcopy` errors during build
+* parser: fix attribute_reference regex
+* python: sanitize number formatting
+
+#### Dependencies, Tests, Docs
+
+* `libsel4camkes`: Add markdown documentation
+* parser: Add unit test for range translations
+* Add CAmkES unit and app tests to GitHub CI
+* Make more CAmkES tests available on pull requests
+* Small tutorial fixes
+* Improve thread priority description in docs
+* Remove unused python dependencies
+* Replace obsolete `orderedset` python dependency with maintained `ordered_set`
+* Update `camkes-deps` description and instructions
+* `camkes-deps`: set minimum `jinja2` version
+
+
+### Upgrade Notes
+
+* No special upgrade requirements.
+
+
+## Full changelog
+
+ Use `git log camkes-3.10.0..camkes-3.11.0` in
+<https://github.com/seL4/camkes-tool>
+
+## More details
+
+ See the
+[documentation](https://github.com/seL4/camkes-tool/blob/camkes-3.11.0/docs/index.md)
+or ask on the mailing list!

content_collections/_releases/capdl/0.3.0.md

@@ -0,0 +1,54 @@
+---
+version: 0.3.0
+title: 0.3.0
+project: capdl
+SPDX-License-Identifier: CC-BY-SA-4.0
+SPDX-FileCopyrightText: 2024 seL4 Project a Series of LF Projects, LLC.
+---
+
+# capDL Version 0.3.0 Release
+
+#### 2024-07-01
+
+Announcing the release of `0.3.0`, using seL4 version 13.0.0.
+
+### Changes
+
+* add support for SMC capability
+* add support for binding notifications to TCBs
+* enable MCS build; use `seL4_TCB_SetAffinity` only for non-MCS kernels
+* allow `SchedControlCap` to refer to a secondary core
+* minimal update for seL4 AArch64 VSpace API change, removing `seL4_ARM_PageGlobalDirectoryObject`
+* `object_sizes`: add include for deprecated constants, because some definitions
+  that `object_sizes` depends on are now found in a `deprecated.h` header file.
+* Clean up and clarify `arm11` usage in capDL despite ARMv6 removal
+* `cdl_utils`: remove `simpleeval` python dependency
+* Run GitHub tests with python 3.9
+* added vulnerability reporting policy
+
+#### capdl-loader
+
+* use `seL4_BootInfoFrameSize` instead of hard-coded page size
+* python + loader: Add support for generating fault handler caps with specific
+  rights. Behaviour is unchanged (`seL4_AllRights`) if no rights are provided.
+* ensure heap is aligned
+
+#### capDL-tool
+
+* update to LTS Haskell 20.25, ghc-9.2.8
+* fix several cases in `validObjPars`: `Period`, `IOAPIC`, `MSIHandle`, `CBNumber`
+
+### Upgrade Notes
+
+* existing capDL specs should continue to work
+* AArch64 VSpace changes may allow simplification of some capDL specs
+
+
+## Full changelog
+
+Use `git log 0.2.1..0.3.0` in <https://github.com/seL4/capdl>
+
+## More details
+
+See the [documentation](https://github.com/seL4/capdl/tree/master/capDL-tool/doc)
+or ask on the mailing list!

content_collections/_releases/microkit/1.3.0.md

@@ -0,0 +1,72 @@
+---
+version: 1.3.0
+title: 1.3.0
+project: microkit
+SPDX-License-Identifier: CC-BY-SA-4.0
+SPDX-FileCopyrightText: 2024 seL4 Project a Series of LF Projects, LLC.
+---
+
+# Microkit Release 1.3.0
+
+#### 2024-07-01
+
+Announcing the release of 1.3.0, using seL4 version 13.0.0.
+
+This release represents the first release since the seL4 Microkit was adopted by the
+seL4 Foundation.
+
+This release has no breaking changes.
+
+### Features added
+
+* Added support for 'passive' protection domains.
+* Added protection domain hierarchy allowing PDs to manage faults caused by child PDs
+  and control their execution.
+* Added virtualisation support and a new 'virtual machine' abstraction that allows
+  users to create systems with guest operating systems (such as Linux).
+* Add the ability to specify the type of IRQ trigger on IRQ elements in the SDF. Previously
+  all IRQs were registered as level triggered, now users are given the option of specifying
+  an IRQ as 'edge' triggered which is needed for writing certain device drivers.
+* Added support for building the Microkit SDK on macOS. If you are on macOS, you can now develop
+  with Microkit without Docker or a virtual machine.
+
+### Other changes
+
+* Rewrote the Microkit tool from Python to Rust. This is meant to be a purely internal
+  change and should not affect the use of the tool at all. This does however introduce
+  a new dependency on Rust. See the README for building the new tool from source.
+
+  * This was done primarily to decrease 3rd party dependencies and make it easier to build
+    the Microkit SDK from source.
+
+### Bug fixes
+
+* Fixed the libmicrokit linker script to work with the LLVM linker, LLD. This means that non-GCC
+  build systems can link with libmicrokit.
+* Removed compiler provided includes (such as stdint.h and stdbool.h) from libmicrokit. This means
+  that the libmicrokit header no longer depends on any system provided headers, making the SDK
+  more self-contained.
+* Various fixes and improvements to the manual.
+* Various other bug-fixes and error message improvements to the Microkit tool.
+
+### Board support
+
+This release adds support for the following platforms:
+
+* Avnet MaaXBoard
+* HardKernel Odroid-C2
+* HardKernel Odroid-C4
+* NXP i.MX8MM-EVK
+* NXP i.MX8MQ-EVK
+* QEMU virt (AArch64)
+* Xilinx ZCU102
+
+
+## Full changelog
+
+Use `git log 59f3d7ecea21068281210e7dc91f66155dff9cc9..1.3.0` in <https://github.com/seL4/microkit/>
+
+## More details
+
+See the [documentation](https://github.com/seL4/microkit/blob/main/docs/manual.md)
+or ask on the mailing list!