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
Hi Xilong,
Could you please give more details on what is going wrong? The line of code you have given is from sel4test, which builds and runs for me. What are the exact error messages or unexpected behavior that you are getting?
I agree that the seL4_CapDomain is not currently being counted and we will get this fixed, however this is not a problem for sel4test, so if it is failing then there is some other reason.
Adrian
On 31/12/14 17:17, Pei.XiLong(裴喜龙) wrote: 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
_______________________________________________ Devel mailing list Devel@sel4.systemsmailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
________________________________
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
Hi Adrian,
I bootstrap the environment with function bootstrap_new_2level_simple, then the sel4test cause that error.
the source code is as follows:
/* initialise our runtime environment */
static void
init_env(env_t env)
{
/* create an allocator */
// allocman = bootstrap_use_current_simple(&env->simple, ALLOCATOR_STATIC_POOL_SIZE, allocator_mem_pool);
// allocman = bootstrap_new_1level_simple(&env->simple, ALLOCATOR_STATIC_POOL_SIZE, allocator_mem_pool);
allocman = bootstrap_new_2level_simple(&env->simple, 6, 10, ALLOCATOR_STATIC_POOL_SIZE, allocator_mem_pool);
assert(allocman);
}
Xilong Pei
Tongji University
2015/1/5
发件人: Adrian Danis [mailto:Adrian.Danis@nicta.com.au] 发送时间: 2015年1月5日 8:46 收件人: "Pei.XiLong(裴喜龙)"; devel@sel4.systems 主题: Re: [seL4] simple_default_cap_count doesn't contain seL4_CapDomain
Hi Xilong,
Could you please give more details on what is going wrong? The line of code you have given is from sel4test, which builds and runs for me. What are the exact error messages or unexpected behavior that you are getting?
I agree that the seL4_CapDomain is not currently being counted and we will get this fixed, however this is not a problem for sel4test, so if it is failing then there is some other reason.
Adrian
On 31/12/14 17:17, Pei.XiLong(裴喜龙) wrote:
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
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
_____
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
Hi Xilong,
I can see why this would cause problems.
It would have been much more helpful if you had initially * Stated what you had changed (in this case the boot strapping) * Given an actual error message or description of what went wrong (something you still have not done)
Will get the simple implementations fixed ASAP
Adrian
On 05/01/15 12:12, Pei.XiLong(裴喜龙) wrote:
Hi Adrian,
I bootstrap the environment with functionbootstrap_new_2level_simple, then the sel4test cause that error.
the source code is as follows:/* initialise our runtime environment */
static void
init_env(env_t env)
{
/* create an allocator */ // allocman = bootstrap_use_current_simple(&env->simple,ALLOCATOR_STATIC_POOL_SIZE, allocator_mem_pool);
// allocman = bootstrap_new_1level_simple(&env->simple,ALLOCATOR_STATIC_POOL_SIZE, allocator_mem_pool);
allocman = bootstrap_new_2level_simple(&env->simple, 6, 10,ALLOCATOR_STATIC_POOL_SIZE, allocator_mem_pool);
assert(allocman);}
Xilong Pei Tongji University 2015/1/5*发件人:*Adrian Danis [mailto:Adrian.Danis@nicta.com.au] *发送时间:*2015年1月5日8:46 *收件人:*"Pei.XiLong(裴喜龙)"; devel@sel4.systems *主题:*Re: [seL4] simple_default_cap_count doesn't contain seL4_CapDomain
Hi Xilong,
Could you please give more details on what is going wrong? The line of code you have given is from sel4test, which builds and runs for me. What are the exact error messages or unexpected behavior that you are getting?
I agree that the seL4_CapDomain is not currently being counted and we will get this fixed, however this is not a problem for sel4test, so if it is failing then there is some other reason.
Adrian
On 31/12/14 17:17, Pei.XiLong(裴喜龙) wrote:
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 _______________________________________________ Devel mailing list Devel@sel4.systems <mailto:Devel@sel4.systems> https://sel4.systems/lists/listinfo/devel
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
Hi Adrian,
I run seL4 on pandaboard, the sollowing are the error message:
<testsuite>
<testcase classname="sel4test" name="TEST_ALLOC0000">
INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->00041d5c
INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00049ff4-->00162420
<<seL4 [decodeCNodeInvocation/106 Tffdfad00 @14c9c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
ERROR:sel4utils_copy_cap_to_process:118: Failed to copy cap
Assertion failed: copied_cap != 0 (/home/xilong/HD-Elastos/goose/apps/sel4test-driver/src/main.c: copy_cap_to_process: 147)
Ignoring call to sys_rt_sigprocmask
Ignoring call to sys_gettid
Ignoring call to sys_getpid
sys_tgkill assuming self kill
Xilong Pei
Tongji University
2015/1/5
发件人: Adrian Danis [mailto:Adrian.Danis@nicta.com.au] 发送时间: 2015年1月5日 10:01 收件人: "Pei.XiLong(裴喜龙)"; devel@sel4.systems 主题: Re: 答复: [seL4] simple_default_cap_count doesn't contain seL4_CapDomain
Hi Xilong,
I can see why this would cause problems.
It would have been much more helpful if you had initially * Stated what you had changed (in this case the boot strapping) * Given an actual error message or description of what went wrong (something you still have not done)
Will get the simple implementations fixed ASAP
Adrian
On 05/01/15 12:12, Pei.XiLong(裴喜龙) wrote:
Hi Adrian,
I bootstrap the environment with function bootstrap_new_2level_simple, then the sel4test cause that error.
the source code is as follows:
/* initialise our runtime environment */
static void
init_env(env_t env)
{
/* create an allocator */
// allocman = bootstrap_use_current_simple(&env->simple, ALLOCATOR_STATIC_POOL_SIZE, allocator_mem_pool);
// allocman = bootstrap_new_1level_simple(&env->simple, ALLOCATOR_STATIC_POOL_SIZE, allocator_mem_pool);
allocman = bootstrap_new_2level_simple(&env->simple, 6, 10, ALLOCATOR_STATIC_POOL_SIZE, allocator_mem_pool);
assert(allocman);
}
Xilong Pei
Tongji University
2015/1/5
发件人: Adrian Danis [mailto:Adrian.Danis@nicta.com.au] 发送时间: 2015年1月5日 8:46 收件人: "Pei.XiLong(裴喜龙)"; devel@sel4.systems 主题: Re: [seL4] simple_default_cap_count doesn't contain seL4_CapDomain
Hi Xilong,
Could you please give more details on what is going wrong? The line of code you have given is from sel4test, which builds and runs for me. What are the exact error messages or unexpected behavior that you are getting?
I agree that the seL4_CapDomain is not currently being counted and we will get this fixed, however this is not a problem for sel4test, so if it is failing then there is some other reason.
Adrian
On 31/12/14 17:17, Pei.XiLong(裴喜龙) wrote:
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
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
_____
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
-
Adrian Danis -
Pei.XiLong(裴喜龙)