seL4/seL4: seL4 15.0.0

Anna Lyons, Kent McLeod, Adrian Danis, yyshen, Gerwin Klein, Axel Heider, Curtis Millar, Stephen Sherratt, Indan Zupancic, Rafal Kolanski, Latent Prion, Simon Shields, Julia, Ivan Velickovic, Matthew Brecknell, Joel Beeren, michaelmcinerney, Jimmy Brush, Nick Spinale, Edward Pierzchalski, Siwei Zhuang, Amirreza Zarrabi, sorear, Sylvain Gauthier, matt rice, branden-data61, MattPhillips1, Corey Lewis, Alison Felizzi, Alexander Boettcher

Open source

DOI: 10.5281/zenodo.19344658
Published: 2026
Container: Not recorded
Publisher: Zenodo
Open access: yes

Credibility signals

limited evidence Score 47/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.

Show all credibility signals

cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
supportingPublication license: A publication license was supplied: https://creativecommons.org/licenses/by/4.0/legalcode. Presence improves reuse transparency, not research validity. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

Cite this work

BibTeX

@article{allodium:10.5281/zenodo.19344658,
  title = {seL4/seL4: seL4 15.0.0},
  author = {Anna Lyons and Kent McLeod and Adrian Danis and yyshen and Gerwin Klein and Axel Heider and Curtis Millar and Stephen Sherratt and Indan Zupancic and Rafal Kolanski and Latent Prion and Simon Shields and Julia and Ivan Velickovic and Matthew Brecknell and Joel Beeren and michaelmcinerney and Jimmy Brush and Nick Spinale and Edward Pierzchalski and Siwei Zhuang and Amirreza Zarrabi and sorear and Sylvain Gauthier and matt rice and branden-data61 and MattPhillips1 and Corey Lewis and Alison Felizzi and Alexander Boettcher},
  year = {2026},
  doi = {10.5281/zenodo.19344658},
  url = {https://doi.org/10.5281/zenodo.19344658}
}

RIS

TY  - JOUR
TI  - seL4/seL4: seL4 15.0.0
AU  - Anna Lyons
AU  - Kent McLeod
AU  - Adrian Danis
AU  - yyshen
AU  - Gerwin Klein
AU  - Axel Heider
AU  - Curtis Millar
AU  - Stephen Sherratt
AU  - Indan Zupancic
AU  - Rafal Kolanski
AU  - Latent Prion
AU  - Simon Shields
AU  - Julia
AU  - Ivan Velickovic
AU  - Matthew Brecknell
AU  - Joel Beeren
AU  - michaelmcinerney
AU  - Jimmy Brush
AU  - Nick Spinale
AU  - Edward Pierzchalski
AU  - Siwei Zhuang
AU  - Amirreza Zarrabi
AU  - sorear
AU  - Sylvain Gauthier
AU  - matt rice
AU  - branden-data61
AU  - MattPhillips1
AU  - Corey Lewis
AU  - Alison Felizzi
AU  - Alexander Boettcher
PY  - 2026
DO  - 10.5281/zenodo.19344658
UR  - https://doi.org/10.5281/zenodo.19344658
ER  -

APA

Lyons, A., McLeod, K., Danis, A., yyshen, Klein, G., Heider, A., Millar, C., Sherratt, S., Zupancic, I., Kolanski, R., Prion, L., Shields, S., Julia, Velickovic, I., Brecknell, M., Beeren, J., michaelmcinerney, Brush, J., Spinale, N., Pierzchalski, E., Zhuang, S., Zarrabi, A., sorear, Gauthier, S., rice, M., branden-data61, MattPhillips1, Lewis, C., Felizzi, A., & Boettcher, A. (2026). seL4/seL4: seL4 15.0.0. https://doi.org/10.5281/zenodo.19344658

Source records

datacite · retrieved 2026-09-25T03:52:20.544Z