From 5e0b8d508ed51004bd836384293be00950ee62c9 Mon Sep 17 00:00:00 2001 From: Pasha Date: Tue, 20 Feb 2024 18:49:50 +0000 Subject: init gnumach copy --- xen/configfrag.ac | 76 +++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 76 insertions(+) create mode 100644 xen/configfrag.ac (limited to 'xen/configfrag.ac') diff --git a/xen/configfrag.ac b/xen/configfrag.ac new file mode 100644 index 0000000..3745a31 --- /dev/null +++ b/xen/configfrag.ac @@ -0,0 +1,76 @@ +dnl Configure fragment for the Xen platform. + +dnl Copyright (C) 2007 Free Software Foundation, Inc. + +dnl This program is free software; you can redistribute it and/or modify it +dnl under the terms of the GNU General Public License as published by the +dnl Free Software Foundation; either version 2, or (at your option) any later +dnl version. +dnl +dnl This program is distributed in the hope that it will be useful, but +dnl WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY +dnl or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +dnl for more details. +dnl +dnl You should have received a copy of the GNU General Public License along +dnl with this program; if not, write to the Free Software Foundation, Inc., +dnl 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. + +# +# Xen platform. +# + +[if [ "$host_platform" = xen ]; then] + AC_DEFINE([MACH_XEN], [], [build a MachXen kernel]) + AC_DEFINE([MACH_HYP], [], [be a hypervisor guest]) + AM_CONDITIONAL([PLATFORM_xen], [true]) + +dnl These are experimental + + AC_ARG_ENABLE([pseudo-phys], + AS_HELP_STRING([--disable-pseudo-phys], [Pseudo physical pages support])) + [if [ x"$enable_pseudo_phys" = xno ]; then] + AM_CONDITIONAL([enable_pseudo_phys], [false]) + [else] + AC_DEFINE([MACH_PSEUDO_PHYS], [], [Enable pseudo physical memory support]) + AM_CONDITIONAL([enable_pseudo_phys], [true]) + [fi] + + AC_ARG_ENABLE([pv-pagetables], + AS_HELP_STRING([--disable-pv-pagetables], [Paravirtualized page tables support])) + [if [ x"$enable_pv_pagetables" = xno ]; then] + AM_CONDITIONAL([enable_pv_pagetables], [false]) + [else] + AC_DEFINE([MACH_PV_PAGETABLES], [], [Enable paravirtualized page tables support]) + AM_CONDITIONAL([enable_pv_pagetables], [true]) + [fi] + + AC_ARG_ENABLE([pv-descriptors], + AS_HELP_STRING([--disable-pv-descriptors], [Paravirtualized segment descriptors support])) + [if [ x"$enable_pv_descriptors" = xno ]; then] + AM_CONDITIONAL([enable_pv_descriptors], [false]) + [else] + AC_DEFINE([MACH_PV_DESCRIPTORS], [], [Enable paravirtualized segment descriptors support]) + AM_CONDITIONAL([enable_pv_descriptors], [true]) + [fi] + + AC_ARG_ENABLE([ring1], + AS_HELP_STRING([--disable-ring1], [ring1 kernel support])) + [if [ x"$enable_ring1" = xno ]; then] + AM_CONDITIONAL([enable_ring1], [false]) + [else] + AC_DEFINE([MACH_RING1], [], [Enable ring1 kernel support]) + AM_CONDITIONAL([enable_ring1], [true]) + [fi] + +[else] + AM_CONDITIONAL([PLATFORM_xen], [false]) + AM_CONDITIONAL([enable_pseudo_phys], [false]) + AM_CONDITIONAL([enable_pv_pagetables], [false]) + AM_CONDITIONAL([enable_pv_descriptors], [false]) + AM_CONDITIONAL([enable_ring1], [false]) +[fi] + +dnl Local Variables: +dnl mode: autoconf +dnl End: -- cgit v1.2.1