mirror of
https://github.com/seL4/seL4.git
synced 2026-03-27 10:29:57 +00:00
11 lines
166 B
C
11 lines
166 B
C
/*
|
|
* Copyright 2014, General Dynamics C4 Systems
|
|
*
|
|
* SPDX-License-Identifier: GPL-2.0-only
|
|
*/
|
|
|
|
#pragma once
|
|
|
|
#include <basic_types.h>
|
|
#include <compound_types.h>
|