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