1 /*
2  * Copyright 2014, General Dynamics C4 Systems
3  *
4  * SPDX-License-Identifier: GPL-2.0-only
5  */
6 
7 #pragma once
8 
9 #include <object/structures.h>
10 #include <object/objecttype.h>
11 #include <object/notification.h>
12 #include <object/cnode.h>
13 #include <object/endpoint.h>
14 #include <object/interrupt.h>
15 #include <object/objecttype.h>
16 #include <object/structures.h>
17 #include <object/tcb.h>
18 #include <object/untyped.h>
19