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