1/*#
2 *# Copyright 2017, Data61
3 *# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4 *# ABN 41 687 119 230.
5 *#
6 *# This software may be distributed and modified according to the terms of
7 *# the BSD 2-Clause license. Note that NO WARRANTY is provided.
8 *# See "LICENSE_BSD2.txt" for details.
9 *#
10 *# @TAG(DATA61_BSD)
11 #*/
12
13/*? macros.show_includes(me.instance.type.includes) ?*/
14/*? macros.show_includes(me.interface.type.includes, '../static/components/%s/' % me.instance.type.name) ?*/
15
16/*- set thread_caps = [] -*/
17/*- set fault_obj = alloc_obj("ep_fault", seL4_EndpointObject, read=True, write=True, grantreply=True) -*/
18
19/*- for cap in cap_space.cnode: -*/
20    /*- if isinstance(cap_space.cnode[cap].referent, capdl.TCB): -*/
21        /*- set cap_name = cap_space.cnode[cap].referent.name-*/
22        /*- do thread_caps.append((cap, cap_name)) -*/
23    /*- endif -*/
24/*- endfor -*/
25
26/*- for cap, cap_name in thread_caps: -*/
27     /*- if not cap_name == me.instance.name + "_tcb_GDB_delegate": -*/
28        /*- set fault_cap = alloc_cap(cap_name + "_fault_ep", fault_obj, read=True, write=True, grantreply=True) -*/
29        /*- do cap_space.cnode[fault_cap].set_badge(cap) -*/
30        /*- do cap_space.cnode[cap].referent.set_fault_ep_slot(fault_cap) -*/
31     /*- endif -*/
32/*- endfor -*/
33