{"users":[{"id":-1,"username":"system","name":"system","avatar_template":"https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/10e88be10b99045d22e0ce23a923957750fb294b.png","admin":true,"moderator":true,"trust_level":4},{"id":186,"username":"bbrcknl","name":"Birgit Brecknell","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/b/a183cd/{size}.png","trust_level":2},{"id":363,"username":"bpisch","name":"bpisch","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/b/ed655f/{size}.png","trust_level":0},{"id":87,"username":"nspin","name":"Nick Spinale","avatar_template":"/user_avatar/sel4.discourse.group/nspin/{size}/77_2.png","trust_level":2},{"id":251,"username":"indolering","name":"","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/i/58956e/{size}.png","trust_level":1},{"id":352,"username":"lukeb-aidev","name":"Lukas Bower","avatar_template":"/user_avatar/sel4.discourse.group/lukeb-aidev/{size}/396_2.png","trust_level":0},{"id":23,"username":"gerwin.klein","name":"Gerwin Klein","avatar_template":"/user_avatar/sel4.discourse.group/gerwin.klein/{size}/46_2.png","admin":true,"trust_level":2},{"id":100,"username":"Indan","name":"Indan Zupancic","avatar_template":"/user_avatar/sel4.discourse.group/indan/{size}/185_2.png","trust_level":2},{"id":24,"username":"gernot","name":"","avatar_template":"/user_avatar/sel4.discourse.group/gernot/{size}/44_2.png","trust_level":2},{"id":345,"username":"jorgeventura","name":"Jorge Ventura","avatar_template":"/user_avatar/sel4.discourse.group/jorgeventura/{size}/376_2.png","trust_level":0}],"primary_groups":[],"flair_groups":[],"topic_list":{"can_create_topic":false,"more_topics_url":"/c/uncategorized/1?page=1","per_page":30,"top_tags":[{"id":2,"name":"arm","slug":"arm"}],"topics":[{"fancy_title":"Welcome to Discourse","id":7,"title":"Welcome to Discourse","slug":"welcome-to-discourse","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":null,"created_at":"2019-01-02T18:04:10.173Z","last_posted_at":"2019-01-02T18:04:10.231Z","bumped":true,"bumped_at":"2019-01-02T21:06:34.905Z","archetype":"regular","unseen":false,"pinned":true,"unpinned":null,"excerpt":"seL4 is the world’s first operating-system kernel with an end-to-end proof of implementation correctness and is an excellent base to build high-assurance systems. This site is for members of the seL4 community, including…","visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":474,"like_count":0,"has_summary":false,"last_poster_username":"system","category_id":1,"op_like_count":0,"pinned_globally":true,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":-1,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Gapfruit joins the seL4 Foundation","id":1056,"title":"Gapfruit joins the seL4 Foundation","slug":"gapfruit-joins-the-sel4-foundation","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://global.discourse-cdn.com/free1/uploads/sel4/optimized/1X/e8e66d93bd1c43bc98ad5453b99d6b3e561f1c2b_2_1024x307.png","created_at":"2026-06-01T07:27:08.524Z","last_posted_at":"2026-06-01T07:27:08.574Z","bumped":true,"bumped_at":"2026-06-01T07:27:08.574Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":23,"like_count":0,"has_summary":false,"last_poster_username":"bbrcknl","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":186,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Changing rust-root-task-demo from targeting aarch64 to x86_64","id":1049,"title":"Changing rust-root-task-demo from targeting aarch64 to x86_64","slug":"changing-rust-root-task-demo-from-targeting-aarch64-to-x86-64","posts_count":2,"reply_count":0,"highest_post_number":2,"image_url":null,"created_at":"2026-05-08T20:21:24.192Z","last_posted_at":"2026-05-12T08:46:04.286Z","bumped":true,"bumped_at":"2026-05-12T08:46:04.286Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":28,"like_count":0,"has_summary":false,"last_poster_username":"nspin","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":null,"description":"Original Poster","user_id":363,"primary_group_id":null,"flair_group_id":null},{"extras":"latest","description":"Most Recent Poster","user_id":87,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Thank you Proofcraft, silver sponsor of the seL4 Summit 2026","id":1045,"title":"Thank you Proofcraft, silver sponsor of the seL4 Summit 2026","slug":"thank-you-proofcraft-silver-sponsor-of-the-sel4-summit-2026","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/c01ca2b6501c0186ff884fc69de778312c206373.png","created_at":"2026-04-16T21:53:46.543Z","last_posted_at":"2026-04-16T21:53:46.577Z","bumped":true,"bumped_at":"2026-04-16T21:53:46.577Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":29,"like_count":0,"has_summary":false,"last_poster_username":"bbrcknl","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":186,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Thank you Riverside Research, sponsor of the seL4 Summit 2026 reception","id":1044,"title":"Thank you Riverside Research, sponsor of the seL4 Summit 2026 reception","slug":"thank-you-riverside-research-sponsor-of-the-sel4-summit-2026-reception","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/ca6b633d4a9a03264ae1666637b09d02dbd81b9b.png","created_at":"2026-04-15T04:05:44.234Z","last_posted_at":"2026-04-15T04:05:44.275Z","bumped":true,"bumped_at":"2026-04-15T04:05:44.275Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":31,"like_count":0,"has_summary":false,"last_poster_username":"bbrcknl","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":186,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"seL4 summit 2026: one week to go to submit a talk","id":1043,"title":"seL4 summit 2026: one week to go to submit a talk","slug":"sel4-summit-2026-one-week-to-go-to-submit-a-talk","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://global.discourse-cdn.com/free1/uploads/sel4/optimized/1X/04ff3815b1d7f746f83409d6d41dfe80c4838d89_2_1024x772.png","created_at":"2026-04-13T00:58:49.357Z","last_posted_at":"2026-04-13T00:58:49.403Z","bumped":true,"bumped_at":"2026-04-13T00:58:49.403Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":14,"like_count":0,"has_summary":false,"last_poster_username":"bbrcknl","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":186,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"The seL4 Summit 2026 Keynotes and “Voices from Nearby”","id":1039,"title":"The seL4 Summit 2026 Keynotes and \"Voices from Nearby\"","slug":"the-sel4-summit-2026-keynotes-and-voices-from-nearby","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://global.discourse-cdn.com/free1/uploads/sel4/optimized/1X/93126e7a64e60c34e907e377b68da48ae7f67426_2_1024x1024.jpeg","created_at":"2026-03-18T07:12:07.700Z","last_posted_at":"2026-03-18T07:12:07.738Z","bumped":true,"bumped_at":"2026-03-18T07:12:07.738Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":24,"like_count":0,"has_summary":false,"last_poster_username":"bbrcknl","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":186,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Neutrality joins the seL4 Foundation","id":1037,"title":"Neutrality joins the seL4 Foundation","slug":"neutrality-joins-the-sel4-foundation","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/dbb1da844f3cfb039cebbc5d2ddf6a334e9873a7.png","created_at":"2026-03-13T06:28:43.539Z","last_posted_at":"2026-03-13T06:28:43.589Z","bumped":true,"bumped_at":"2026-03-13T06:28:43.589Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":26,"like_count":0,"has_summary":false,"last_poster_username":"bbrcknl","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":186,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"LionsOS Entropy Server?","id":1026,"title":"LionsOS Entropy Server?","slug":"lionsos-entropy-server","posts_count":3,"reply_count":0,"highest_post_number":3,"image_url":null,"created_at":"2025-12-14T07:28:00.349Z","last_posted_at":"2026-02-24T01:29:53.243Z","bumped":true,"bumped_at":"2026-02-24T01:29:53.243Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":57,"like_count":0,"has_summary":false,"last_poster_username":"indolering","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":251,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Registration open for the seL4 summit 2026","id":1034,"title":"Registration open for the seL4 summit 2026","slug":"registration-open-for-the-sel4-summit-2026","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://global.discourse-cdn.com/free1/uploads/sel4/optimized/1X/04ff3815b1d7f746f83409d6d41dfe80c4838d89_2_1024x772.png","created_at":"2026-02-22T21:34:00.601Z","last_posted_at":"2026-02-22T21:34:00.639Z","bumped":true,"bumped_at":"2026-02-22T21:34:00.639Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":31,"like_count":0,"has_summary":false,"last_poster_username":"bbrcknl","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":186,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Cohesix 0.4.0-alpha released","id":1032,"title":"Cohesix 0.4.0-alpha released","slug":"cohesix-0-4-0-alpha-released","posts_count":2,"reply_count":0,"highest_post_number":2,"image_url":"https://global.discourse-cdn.com/free1/uploads/sel4/optimized/1X/f664cf150c1adcca1a2e2ece817441739b984a52_2_1024x512.png","created_at":"2026-02-06T01:20:50.092Z","last_posted_at":"2026-02-08T08:41:00.877Z","bumped":true,"bumped_at":"2026-02-08T08:41:00.877Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[{"id":2,"name":"arm","slug":"arm"}],"tags_descriptions":{},"views":33,"like_count":0,"has_summary":false,"last_poster_username":"lukeb-aidev","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":352,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Wikipedia Article Review","id":1031,"title":"Wikipedia Article Review","slug":"wikipedia-article-review","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":null,"created_at":"2026-02-04T06:03:54.485Z","last_posted_at":"2026-02-04T06:03:54.536Z","bumped":true,"bumped_at":"2026-02-04T06:03:54.536Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":65,"like_count":0,"has_summary":false,"last_poster_username":"indolering","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":251,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Fraunhofer AISEC joins the seL4 Foundation","id":1030,"title":"Fraunhofer AISEC joins the seL4 Foundation","slug":"fraunhofer-aisec-joins-the-sel4-foundation","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/86aef3734adc0aa7f1c26f0a5d6fa614d4601abd.png","created_at":"2026-01-28T06:31:24.021Z","last_posted_at":"2026-01-28T06:31:24.054Z","bumped":true,"bumped_at":"2026-01-28T06:31:24.054Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":28,"like_count":0,"has_summary":false,"last_poster_username":"bbrcknl","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":186,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Call For Presentations for the seL4 Summit 2026","id":1029,"title":"Call For Presentations for the seL4 Summit 2026","slug":"call-for-presentations-for-the-sel4-summit-2026","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://global.discourse-cdn.com/free1/uploads/sel4/optimized/1X/04ff3815b1d7f746f83409d6d41dfe80c4838d89_2_1024x772.png","created_at":"2026-01-23T07:06:34.581Z","last_posted_at":"2026-01-23T07:06:34.618Z","bumped":true,"bumped_at":"2026-01-23T07:06:34.618Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":17,"like_count":0,"has_summary":false,"last_poster_username":"bbrcknl","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":186,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Riverside Research joins the seL4 Foundation","id":1028,"title":"Riverside Research joins the seL4 Foundation","slug":"riverside-research-joins-the-sel4-foundation","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/ca6b633d4a9a03264ae1666637b09d02dbd81b9b.png","created_at":"2026-01-18T23:13:29.205Z","last_posted_at":"2026-01-18T23:13:29.237Z","bumped":true,"bumped_at":"2026-01-18T23:13:29.237Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":16,"like_count":0,"has_summary":false,"last_poster_username":"bbrcknl","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":186,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Location, Dates and Program Committee of the seL4 Summit 2026","id":1027,"title":"Location, Dates and Program Committee of the seL4 Summit 2026","slug":"location-dates-and-program-committee-of-the-sel4-summit-2026","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://global.discourse-cdn.com/free1/uploads/sel4/optimized/1X/ea8ee683b0686b99e4156b269ee4419490b36949_2_1023x877.jpeg","created_at":"2025-12-14T19:45:23.011Z","last_posted_at":"2025-12-14T19:45:23.064Z","bumped":true,"bumped_at":"2025-12-14T19:45:23.064Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":40,"like_count":0,"has_summary":false,"last_poster_username":"bbrcknl","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":186,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Genode Sculpt runs on seL4","id":1022,"title":"Genode Sculpt runs on seL4","slug":"genode-sculpt-runs-on-sel4","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/c7060ea0e9d885a6e5c54c33619d77543b1f40b2.png","created_at":"2025-11-12T04:04:17.717Z","last_posted_at":"2025-11-12T04:04:17.761Z","bumped":true,"bumped_at":"2025-11-12T04:04:17.761Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":60,"like_count":1,"has_summary":false,"last_poster_username":"bbrcknl","category_id":1,"op_like_count":1,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":186,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Next summit will be in Vancouver! Meet its co-chairs","id":1021,"title":"Next summit will be in Vancouver! Meet its co-chairs","slug":"next-summit-will-be-in-vancouver-meet-its-co-chairs","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/a96112d6297e44e2a76d70a9ea1a750edca9aa30.jpeg","created_at":"2025-11-07T06:18:34.186Z","last_posted_at":"2025-11-07T06:18:34.232Z","bumped":true,"bumped_at":"2025-11-07T06:18:34.232Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":36,"like_count":0,"has_summary":false,"last_poster_username":"bbrcknl","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":186,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Speedup for Linux on (Se)L4","id":689,"title":"Speedup for Linux on (Se)L4","slug":"speedup-for-linux-on-se-l4","posts_count":8,"reply_count":5,"highest_post_number":8,"image_url":null,"created_at":"2023-04-04T03:20:48.500Z","last_posted_at":"2025-10-30T09:41:56.682Z","bumped":true,"bumped_at":"2025-10-30T09:41:56.682Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":271,"like_count":3,"has_summary":false,"last_poster_username":"Indan","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":null,"description":"Original Poster","user_id":251,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Frequent Poster","user_id":23,"primary_group_id":null,"flair_group_id":null},{"extras":"latest","description":"Most Recent Poster","user_id":100,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"seL4 summit 2026: location survey","id":1015,"title":"seL4 summit 2026: location survey","slug":"sel4-summit-2026-location-survey","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/8286968e16920ccc7987b6d89f4c609e32ea2d29.png","created_at":"2025-10-13T07:20:49.909Z","last_posted_at":"2025-10-13T07:20:50.025Z","bumped":true,"bumped_at":"2025-10-13T07:20:50.025Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":56,"like_count":0,"has_summary":false,"last_poster_username":"bbrcknl","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":186,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"The videos and slides of the seL4 Summit 2025 are available online","id":1013,"title":"The videos and slides of the seL4 Summit 2025 are available online","slug":"the-videos-and-slides-of-the-sel4-summit-2025-are-available-online","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://global.discourse-cdn.com/free1/uploads/sel4/optimized/1X/6d81388da7f33b21144410db0a5d8da71750f2bf_2_1024x773.png","created_at":"2025-09-16T22:59:04.103Z","last_posted_at":"2025-09-16T22:59:04.135Z","bumped":true,"bumped_at":"2025-09-16T22:59:04.135Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":25,"like_count":0,"has_summary":false,"last_poster_username":"bbrcknl","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":186,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Community Building","id":1010,"title":"Community Building","slug":"community-building","posts_count":3,"reply_count":1,"highest_post_number":3,"image_url":null,"created_at":"2025-09-08T01:16:23.005Z","last_posted_at":"2025-09-09T04:49:11.803Z","bumped":true,"bumped_at":"2025-09-09T05:07:21.263Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":60,"like_count":0,"has_summary":false,"last_poster_username":"indolering","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":251,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Frequent Poster","user_id":24,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"GRUB issue to boot","id":1008,"title":"GRUB issue to boot","slug":"grub-issue-to-boot","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":null,"created_at":"2025-08-22T22:08:21.290Z","last_posted_at":"2025-08-22T22:08:21.324Z","bumped":true,"bumped_at":"2025-08-22T22:08:21.324Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":41,"like_count":0,"has_summary":false,"last_poster_username":"jorgeventura","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":345,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Check out the seL4 summit 2025 program and abstracts","id":1005,"title":"Check out the seL4 summit 2025 program and abstracts","slug":"check-out-the-sel4-summit-2025-program-and-abstracts","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://global.discourse-cdn.com/free1/uploads/sel4/optimized/1X/6d81388da7f33b21144410db0a5d8da71750f2bf_2_1024x773.png","created_at":"2025-08-08T01:05:49.667Z","last_posted_at":"2025-08-08T01:05:49.708Z","bumped":true,"bumped_at":"2025-08-08T01:05:49.708Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":30,"like_count":1,"has_summary":false,"last_poster_username":"bbrcknl","category_id":1,"op_like_count":1,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":186,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Thank you Riverside Research, sponsor of the seL4 Summit 2025 reception","id":1003,"title":"Thank you Riverside Research, sponsor of the seL4 Summit 2025 reception","slug":"thank-you-riverside-research-sponsor-of-the-sel4-summit-2025-reception","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/09d4566e8d475e70b88ccb0f5f76d5d0e619c93e.png","created_at":"2025-08-06T06:57:27.751Z","last_posted_at":"2025-08-06T06:57:27.785Z","bumped":true,"bumped_at":"2025-08-06T06:57:27.785Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":25,"like_count":0,"has_summary":false,"last_poster_username":"bbrcknl","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":186,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"The Trusted Computing Center of Excellence™ joins the seL4 Foundation","id":1002,"title":"The Trusted Computing Center of Excellence™ joins the seL4 Foundation","slug":"the-trusted-computing-center-of-excellence-joins-the-sel4-foundation","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/64580359b4814140b8a7ee898d8298da9bf720c4.png","created_at":"2025-08-03T23:37:19.883Z","last_posted_at":"2025-08-03T23:37:19.927Z","bumped":true,"bumped_at":"2025-08-03T23:37:19.927Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":19,"like_count":0,"has_summary":false,"last_poster_username":"bbrcknl","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":186,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Panellists for seL4 Summit 2025 announced","id":1001,"title":"Panellists for seL4 Summit 2025 announced","slug":"panellists-for-sel4-summit-2025-announced","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://global.discourse-cdn.com/free1/uploads/sel4/optimized/1X/71a18ee1bec2f735737a91b1f62879a3ddf9e98e_2_1024x796.jpeg","created_at":"2025-08-01T00:03:26.329Z","last_posted_at":"2025-08-01T00:03:26.374Z","bumped":true,"bumped_at":"2025-08-01T00:03:26.374Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":17,"like_count":0,"has_summary":false,"last_poster_username":"bbrcknl","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":186,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"seL4 summit 2025 sponsorship opportunities closing soon (8 Aug)","id":1000,"title":"seL4 summit 2025 sponsorship opportunities closing soon (8 Aug)","slug":"sel4-summit-2025-sponsorship-opportunities-closing-soon-8-aug","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://global.discourse-cdn.com/free1/uploads/sel4/optimized/1X/6d81388da7f33b21144410db0a5d8da71750f2bf_2_1024x773.png","created_at":"2025-07-30T03:58:06.813Z","last_posted_at":"2025-07-30T03:58:06.851Z","bumped":true,"bumped_at":"2025-07-30T03:58:06.851Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":23,"like_count":0,"has_summary":false,"last_poster_username":"bbrcknl","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":186,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Happy seL4 day 2025!","id":999,"title":"Happy seL4 day 2025!","slug":"happy-sel4-day-2025","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://global.discourse-cdn.com/free1/uploads/sel4/optimized/1X/c479e19e8e8ad44f97fd92f5e915b2c13486aaf4_2_1024x394.png","created_at":"2025-07-28T21:03:45.532Z","last_posted_at":"2025-07-28T21:03:45.566Z","bumped":true,"bumped_at":"2025-07-28T21:03:45.566Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":21,"like_count":0,"has_summary":false,"last_poster_username":"bbrcknl","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":186,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"seL4 summit 2025 early-bird registration ends in 1 week","id":997,"title":"seL4 summit 2025 early-bird registration ends in 1 week","slug":"sel4-summit-2025-early-bird-registration-ends-in-1-week","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://global.discourse-cdn.com/free1/uploads/sel4/optimized/1X/6d81388da7f33b21144410db0a5d8da71750f2bf_2_1024x773.png","created_at":"2025-07-25T00:02:36.344Z","last_posted_at":"2025-07-25T00:02:36.380Z","bumped":true,"bumped_at":"2025-07-25T00:02:36.380Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":14,"like_count":0,"has_summary":false,"last_poster_username":"bbrcknl","category_id":1,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":186,"primary_group_id":null,"flair_group_id":null}]}]}}