1 |
/* l4.h - Public interface to L4. |
/* l4.h - Public interface to L4. |
2 |
Copyright (C) 2003 Free Software Foundation, Inc. |
Copyright (C) 2003, 2005 Free Software Foundation, Inc. |
3 |
Written by Marcus Brinkmann <marcus@gnu.org>. |
Written by Marcus Brinkmann <marcus@gnu.org>. |
4 |
|
|
5 |
This file is part of the GNU L4 library. |
This file is part of the GNU L4 library. |
30 |
#include <l4/space.h> |
#include <l4/space.h> |
31 |
#include <l4/ipc.h> |
#include <l4/ipc.h> |
32 |
#include <l4/misc.h> |
#include <l4/misc.h> |
33 |
|
#include <l4/arch.h> |
34 |
|
|
35 |
#endif /* l4.h */ |
#endif /* l4.h */ |