Zeitpunkt Nutzer Delta Tröts TNR Titel Version maxTL Di 02.07.2024 00:01:44 61.915 -2 3.510.479 56,7 Fosstodon 4.2.9 500 Mo 01.07.2024 00:00:33 61.917 0 3.507.420 56,6 Fosstodon 4.2.9 500 So 30.06.2024 00:00:34 61.917 +2 3.504.671 56,6 Fosstodon 4.2.9 500 Sa 29.06.2024 00:01:13 61.915 +2 3.501.982 56,6 Fosstodon 4.2.9 500 Fr 28.06.2024 00:01:07 61.913 +3 3.498.459 56,5 Fosstodon 4.2.9 500 Do 27.06.2024 00:00:32 61.910 0 3.495.444 56,5 Fosstodon 4.2.9 500 Mi 26.06.2024 00:00:07 61.910 +1 3.494.703 56,4 Fosstodon 4.2.9 500 Di 25.06.2024 00:00:06 61.909 +1 3.491.246 56,4 Fosstodon 4.2.9 500 Mo 24.06.2024 00:00:01 61.908 +1 3.488.299 56,3 Fosstodon 4.2.9 500 So 23.06.2024 00:00:06 61.907 0 3.485.556 56,3 Fosstodon 4.2.9 500
seL4 (@sel4) · 11/2022 · Tröts: 57 · Folger: 324
Di 02.07.2024 11:04
It's been a long time in the making, but it finally happened: Release 13.0.0 of the seL4 microkernel is out!
With it there's:
* the first official Foundation release (1.3.0) of the seL4 Microkit
* release 3.11.0 of CAmkES
* release 0.3.0 of CapDL
* the first official Foundation release (1.0.0) of Rust support for seL4 userspace
For details (links to all releases) see the news item: https://sel4.systems/news/#seL4-13.0.0
[Öffentlich] Antw.: 0 Wtrl.: 0 Fav.: 0