Release notes: https://docs.sel4.systems/releases/sel4/12.1.0
Release announcement: https://sel4.discourse.group/t/15-june-2021-release/373
Release notes: https://docs.sel4.systems/releases/sel4/12.1.0
Release announcement: https://sel4.discourse.group/t/15-june-2021-release/373