Devel January 2015

devel@sel4.systems

14 participants
12 discussions

(good faq entries to add?) re-proving after code commits?
by Raoul Duke 09 Jan '15

09 Jan '15

hi, When does seL4 get re-proven? When code gets pulled into the master branch on github? Once a year? Something in-between? Is it clear what code is actually proven? Is everything in github under the proofs? Or are there things that fall outside the proven kernel? How would anybody see that? :-) Thanks!

2 4

simple_default_cap_count doesn't contain seL4_CapDomain
by Pei.XiLong(裴喜龙) 05 Jan '15

05 Jan '15

Hi PM, The logic in these 2 functions doesn’t contain capability seL4_CapDomain int simple_default_cap_count(void *data) seL4_CPtr simple_default_nth_cap(void *data, int n) So, these sentense cause error: // ……/sel4tes-drivers/src/main.c env.init->domain = copy_cap_to_process(&test_process, simple_get_init_cap(&env.simple, seL4_CapDomain)); Xilong Pei Tongji University 2014/12/31

2 4

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

Devel January 2015