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.
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel
