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
20