[seL4] simple_default_cap_count doesn't contain seL4_CapDomain

[裴喜龙]

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