Loading...
Searching...
No Matches
l4types.h
Go to the documentation of this file.
/*
* (c) 2004-2009 Alexander Warg <warg@os.inf.tu-dresden.de>
* economic rights: Technische Universität Dresden (Germany)
*
* License: see LICENSE.spdx (in this directory or the directories above)
*/
#pragma once
#include <l4/sys/types.h>
#include <l4/cxx/basic_ostream>
basic_ostream
Basic IO stream.
types.h
Common L4 ABI Data Types.