Loading arch/arm64/Kconfig +7 −0 Original line number Diff line number Diff line Loading @@ -802,6 +802,13 @@ config XEN help Say Y if you want to run Linux in a Virtual Machine on Xen on ARM64. config OKL4_GUEST bool "OKL4 Hypervisor guest support" depends on ARM64 && OF default n help Say Y if you want to run Linux as a guest of the OKL4 hypervisor config FORCE_MAX_ZONEORDER int default "14" if (ARM64_64K_PAGES && TRANSPARENT_HUGEPAGE) Loading include/asm-generic/okl4_virq.h 0 → 100644 +27 −0 Original line number Diff line number Diff line /* * include/asm-generic/okl4_virq.h * * Copyright (c) 2017 General Dynamics * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License version 2 as * published by the Free Software Foundation. */ #ifndef __OKL4_VIRQ_H__ #define __OKL4_VIRQ_H__ #include <linux/irq.h> #include <microvisor/microvisor.h> static inline okl4_virq_flags_t okl4_get_virq_payload(unsigned int irq) { struct irq_data *irqd = irq_get_irq_data(irq); if (WARN_ON_ONCE(!irqd)) return 0; return _okl4_sys_interrupt_get_payload(irqd_to_hwirq(irqd)).payload; } #endif include/microvisor/kernel/microvisor.h 0 → 100644 +59 −0 Original line number Diff line number Diff line /* * 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 /** * If defined, indicates this is an internal development version. * In this case, OKL4_SDK_VERSION_RELEASE == -1 */ #define OKL4_SDK_VERSION_DEVELOPMENT 1 /** SDK Release (revision) number */ #define OKL4_SDK_VERSION_RELEASE (-1) /** SDK Maintenance number. Indicates the maintenance sequence revision. */ #define OKL4_SDK_VERSION_MAINTENANCE 0 /** @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__ */ /** @} */ Loading
arch/arm64/Kconfig +7 −0 Original line number Diff line number Diff line Loading @@ -802,6 +802,13 @@ config XEN help Say Y if you want to run Linux in a Virtual Machine on Xen on ARM64. config OKL4_GUEST bool "OKL4 Hypervisor guest support" depends on ARM64 && OF default n help Say Y if you want to run Linux as a guest of the OKL4 hypervisor config FORCE_MAX_ZONEORDER int default "14" if (ARM64_64K_PAGES && TRANSPARENT_HUGEPAGE) Loading
include/asm-generic/okl4_virq.h 0 → 100644 +27 −0 Original line number Diff line number Diff line /* * include/asm-generic/okl4_virq.h * * Copyright (c) 2017 General Dynamics * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License version 2 as * published by the Free Software Foundation. */ #ifndef __OKL4_VIRQ_H__ #define __OKL4_VIRQ_H__ #include <linux/irq.h> #include <microvisor/microvisor.h> static inline okl4_virq_flags_t okl4_get_virq_payload(unsigned int irq) { struct irq_data *irqd = irq_get_irq_data(irq); if (WARN_ON_ONCE(!irqd)) return 0; return _okl4_sys_interrupt_get_payload(irqd_to_hwirq(irqd)).payload; } #endif
include/microvisor/kernel/microvisor.h 0 → 100644 +59 −0 Original line number Diff line number Diff line /* * 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 /** * If defined, indicates this is an internal development version. * In this case, OKL4_SDK_VERSION_RELEASE == -1 */ #define OKL4_SDK_VERSION_DEVELOPMENT 1 /** SDK Release (revision) number */ #define OKL4_SDK_VERSION_RELEASE (-1) /** SDK Maintenance number. Indicates the maintenance sequence revision. */ #define OKL4_SDK_VERSION_MAINTENANCE 0 /** @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__ */ /** @} */
