/*
 * Copyright 2014, General Dynamics C4 Systems
 *
 * SPDX-License-Identifier: GPL-2.0-only
 */

#pragma once

#include <object/structures.h>
#include <object/objecttype.h>
#include <object/notification.h>
#include <object/cnode.h>
#include <object/endpoint.h>
#include <object/interrupt.h>
#include <object/objecttype.h>
#include <object/structures.h>
#include <object/tcb.h>
#include <object/untyped.h>