L4Re Operating System Framework
Interface and Usage Documentation
l4types.h
Go to the documentation of this file.
1
5/*
6 * (c) 2004-2009 Alexander Warg <warg@os.inf.tu-dresden.de>
7 * economic rights: Technische Universität Dresden (Germany)
8 *
9 * License: see LICENSE.spdx (in this directory or the directories above)
10 */
11#pragma once
12
13#include <l4/sys/types.h>
14#include <l4/cxx/basic_ostream>
basic_ostream
Basic IO stream.
types.h
Common L4 ABI Data Types.