L4Re – L4 Runtime Environment
vm
1 // vi:set ft=cpp: -*- Mode: C++ -*-
2 /*
3  * (c) 2018 Adam Lackorzynski <adam@l4re.org>
4  *
5  * This file is part of L4Re and distributed under the terms of the
6  * GNU General Public License 2.
7  * Please see the COPYING-GPL-2 file for details.
8  *
9  * As a special exception, you may use this file as part of a free software
10  * library without restriction. Specifically, if other files instantiate
11  * templates or use macros or inline functions from this file, or you compile
12  * this file and link it with other files to produce an executable, this
13  * file does not by itself cause the resulting executable to be covered by
14  * the GNU General Public License. This exception does not however
15  * invalidate any other reasons why the executable file might be covered by
16  * the GNU General Public License.
17  */
18 #pragma once
19 
20 #include <l4/sys/__vm-arm.h>
Virtualization interface.