{"schema_version":"4ort.packet/1","entity":{"entity_id":"sel4","kg_uuid":"cd9424f7-63be-40d1-8f4d-0d8ccf783f1d","wikidata_id":"Q20755116","name":"SeL4","description":"microkernel","type":"Thing","url":"https://4ort.xyz/entity/sel4"},"status":"complete","as_of":{"copy_written_at":"2026-11-01T15:09:23Z","last_source_edit_seen":"2026-10-30T14:18:58Z","stale_possible":false,"claims_refreshed_at":"2026-10-30T14:20:08Z","source_revision":2562575527},"facts":[{"field":"P31","label":"instance of","value":"microkernel","value_id":"Q726378","value_raw":"Q726378","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q20755116#P31","source_edition":"2026-10-30T14:20:08Z","edition_basis":"claims_refreshed_at","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[{"imported_from":"Czech Wikipedia"}]},"trust":{"band":"medium","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P856","label":"official website","value":"https://sel4.systems/","value_id":null,"value_raw":"https://sel4.systems/","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q20755116#P856","source_edition":"2026-10-30T14:20:08Z","edition_basis":"claims_refreshed_at","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[{"url":"https://api.github.com/repos/seL4/seL4","retrieved":"2019-02-02"}]},"trust":{"band":"high","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P178","label":"developer","value":"Trustworthy Systems","value_id":"Q47086787","value_raw":"Q47086787","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q20755116#P178","source_edition":"2026-10-30T14:20:08Z","edition_basis":"claims_refreshed_at","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P275","label":"copyright license","value":"2-clause BSD License","value_id":"Q18517294","value_raw":"Q18517294","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q20755116#P275","source_edition":"2026-10-30T14:20:08Z","edition_basis":"claims_refreshed_at","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[{"url":"https://sel4.systems/Legal/license.html","stated_in":"GitHub","stated_in_id":"Q364","retrieved":"2025-12-02"}]},"trust":{"band":"high","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P275","label":"copyright license","value":"GNU General Public License, version 2.0","value_id":"Q10513450","value_raw":"Q10513450","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q20755116#P275","source_edition":"2026-10-30T14:20:08Z","edition_basis":"claims_refreshed_at","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[{"url":"https://sel4.systems/Legal/license.html","stated_in":"GitHub","stated_in_id":"Q364","retrieved":"2025-12-02"}]},"trust":{"band":"high","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P277","label":"programmed in","value":"C","value_id":"Q15777","value_raw":"Q15777","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q20755116#P277","source_edition":"2026-10-30T14:20:08Z","edition_basis":"claims_refreshed_at","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P348","label":"software version identifier","value":"17.0.0","value_id":null,"value_raw":"17.0.0","rank":"preferred","current":null,"qualifiers":[{"field":"P548","label":"version type","value":"stable version"},{"field":"P577","label":"publication date","value":"2026-10-30"}],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q20755116#P348","source_edition":"2026-10-30T14:20:08Z","edition_basis":"claims_refreshed_at","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[{"url":"https://github.com/seL4/seL4/releases/tag/17.0.0","title":"Release 17.0.0","retrieved":"2026-10-30"}]},"trust":{"band":"high","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P348","label":"software version identifier","value":"7.0.0","value_id":null,"value_raw":"7.0.0","rank":"normal","current":null,"qualifiers":[{"field":"P548","label":"version type","value":"stable version"},{"field":"P577","label":"publication date","value":"2017-09-05"}],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q20755116#P348","source_edition":"2026-10-30T14:20:08Z","edition_basis":"claims_refreshed_at","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[{"url":"https://github.com/seL4/seL4/releases/tag/7.0.0","title":"Release seL4 7.0.0","retrieved":"2018-01-05"}]},"trust":{"band":"high","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P348","label":"software version identifier","value":"6.0.0","value_id":null,"value_raw":"6.0.0","rank":"normal","current":null,"qualifiers":[{"field":"P548","label":"version type","value":"stable version"},{"field":"P577","label":"publication date","value":"2017-06-30"}],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q20755116#P348","source_edition":"2026-10-30T14:20:08Z","edition_basis":"claims_refreshed_at","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[{"url":"https://github.com/seL4/seL4/releases/tag/6.0.0","title":"Release 6.0.0","retrieved":"2018-03-15"}]},"trust":{"band":"high","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P348","label":"software version identifier","value":"5.2.0","value_id":null,"value_raw":"5.2.0","rank":"normal","current":null,"qualifiers":[{"field":"P548","label":"version type","value":"stable version"},{"field":"P577","label":"publication date","value":"2017-05-31"}],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q20755116#P348","source_edition":"2026-10-30T14:20:08Z","edition_basis":"claims_refreshed_at","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[{"url":"https://github.com/seL4/seL4/releases/tag/5.2.0","title":"Release 5.2.0","retrieved":"2018-03-15"}]},"trust":{"band":"high","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P348","label":"software version identifier","value":"5.1.0","value_id":null,"value_raw":"5.1.0","rank":"normal","current":null,"qualifiers":[{"field":"P548","label":"version type","value":"stable version"},{"field":"P577","label":"publication date","value":"2017-04-28"}],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q20755116#P348","source_edition":"2026-10-30T14:20:08Z","edition_basis":"claims_refreshed_at","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[{"url":"https://github.com/seL4/seL4/releases/tag/5.1.0","title":"Release 5.1.0","retrieved":"2018-03-15"}]},"trust":{"band":"high","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P1324","label":"source code repository URL","value":"https://github.com/seL4/seL4","value_id":null,"value_raw":"https://github.com/seL4/seL4","rank":"normal","current":null,"qualifiers":[{"field":"P8423","label":"version control system","value":"Git"},{"field":"P10627","label":"web interface software","value":"GitHub"}],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q20755116#P1324","source_edition":"2026-10-30T14:20:08Z","edition_basis":"claims_refreshed_at","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P6216","label":"copyright status","value":"copyrighted","value_id":"Q50423863","value_raw":"Q50423863","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q20755116#P6216","source_edition":"2026-10-30T14:20:08Z","edition_basis":"claims_refreshed_at","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}}],"unknowns":[],"omitted":{"facts":0,"reason":null},"licences":[{"source":"wikidata","source_name":"Wikidata","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"fields":["P31","P856","P178","P275","P277","P348","P1324","P6216"]}],"routes":{"entity_page":"https://4ort.xyz/entity/sel4","packet_api":"https://4ort.xyz/api/v1/entities/sel4/packet","facts_jsonld":"https://4ort.xyz/entity/sel4/facts.json","changes_api":"https://4ort.xyz/api/v1/knowledge/get_entity_changes?entity=sel4","attention_api":"https://4ort.xyz/api/v1/knowledge/get_attention?entity=sel4","wikidata":"https://www.wikidata.org/wiki/Q20755116","official_website":"https://sel4.systems/"},"trust_rules":{"wikidata-reference-support/2":"From the references in our copy of the statement: high = it cites a source (stated in P248, or a reference URL that is not Wikipedia); medium = only 'imported from Wikimedia project' or a Wikipedia URL; unscored = our copy holds no reference (older copies dropped references, so this is not evidence that Wikidata has none). Wikidata may hold more references than our copy shows. Reference support, not a probability."},"notes":[]}