1# -*- mode:python -*-
2
3# Copyright (c) 2013 ARM Limited
4# All rights reserved.
5#
6# The license below extends only to copyright in the software and shall
7# not be construed as granting a license to any other intellectual
8# property including but not limited to intellectual property relating

--- 922 unchanged lines hidden (view full) ---

931 print "Can't find library for POSIX clocks."
932
933# Check for <fenv.h> (C99 FP environment control)
934have_fenv = conf.CheckHeader('fenv.h', '<>')
935if not have_fenv:
936 print "Warning: Header file <fenv.h> not found."
937 print " This host has no IEEE FP rounding mode control."
938
939# Check if we should enable KVM-based hardware virtualization
940have_kvm = conf.CheckHeader('linux/kvm.h', '<>')
941if not have_kvm:
942 print "Info: Header file <linux/kvm.h> not found, " \
943 "disabling KVM support."
944
945# Check if the requested target ISA is compatible with the host
946def is_isa_kvm_compatible(isa):
947 isa_comp_table = {
948 "arm" : ( "armv7l" ),
949 "x86" : ( "x86_64" ),
950 }

--- 319 unchanged lines hidden ---