| /* |
| * Copyright (c) 2012-2018 General Dynamics |
| * Copyright (c) 2014 Open Kernel Labs, Inc |
| * |
| * Permission to use, copy, modify, and/or distribute this software for any |
| * purpose with or without fee is hereby granted, provided that the above |
| * copyright notice and this permission notice appear in all copies. |
| * |
| * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES |
| * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF |
| * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR |
| * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES |
| * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN |
| * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF |
| * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. |
| */ |
| |
| /* Auto generated - do not modify */ |
| |
| /** @addtogroup lib_microvisor |
| * @{ |
| */ |
| |
| |
| #ifndef __AUTO__MICROVISOR_H__ |
| #define __AUTO__MICROVISOR_H__ |
| |
| /** SDK Major number */ |
| #define OKL4_SDK_VERSION_MAJOR 5 |
| /** SDK Minor number */ |
| #define OKL4_SDK_VERSION_MINOR 3 |
| /** SDK Release (revision) number */ |
| #define OKL4_SDK_VERSION_RELEASE 6 |
| /** SDK Maintenance number. Indicates the maintenance sequence revision. */ |
| #define OKL4_SDK_VERSION_MAINTENANCE 15 |
| |
| |
| /** @addtogroup lib_microvisor_helpers Microvisor Helpers |
| * @{ |
| */ |
| |
| /** Common C and ASM defines. */ |
| |
| /** OKL4 Kernel supports a Virtual CPU (vCPU) interface. */ |
| #define OKL4_VCPU_SUPPORT |
| |
| |
| /** OKL4 Kernel vCPU API supports SMP guest cells. */ |
| #define OKL4_VCPU_SMP_SUPPORT |
| |
| |
| /** @} */ |
| #endif /* __AUTO__MICROVISOR_H__ */ |
| /** @} */ |
