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 mem_ep = alloc("mem_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/*- for cap, cap_name in thread_caps: -*/
26     /*- if "GDB_delegate" in cap_name: -*/
27         /*- do cap_space.cnode[mem_ep].set_badge(cap) -*/
28        /*- do cap_space.cnode[cap].referent.set_fault_ep_slot(mem_ep) -*/
29     /*- endif -*/
30/*- endfor -*/
31