d870f0e26e
guests operating systems on a single machine. Guest OSes (also called "domains") require a modified kernel which supports Xen hypercalls in replacement to access to the physical hardware. At boot, the xen kernel is loaded along with the guest kernel for the first domain (called domain0). domain0 has privileges to access the physical hardware (PCI and ISA devices), administrate other domains and provide virtual devices (disks and network) to other domains. xenkernel45 and xentools45 contains the kernel and tools from the Xen 4.5.x branch
13 lines
432 B
Makefile
13 lines
432 B
Makefile
$NetBSD: patch-Config.mk,v 1.1 2015/01/20 16:42:13 bouyer Exp $
|
|
|
|
--- Config.mk.orig 2015-01-12 17:53:24.000000000 +0100
|
|
+++ Config.mk 2015-01-19 12:29:14.000000000 +0100
|
|
@@ -39,6 +39,8 @@
|
|
HOSTCC = gcc
|
|
HOSTCFLAGS = -Wall -Werror -Wstrict-prototypes -O2 -fomit-frame-pointer
|
|
HOSTCFLAGS += -fno-strict-aliasing
|
|
+HOSTCFLAGS += ${EXTRA_CFLAGS}
|
|
+CFLAGS += ${EXTRA_CFLAGS}
|
|
|
|
DISTDIR ?= $(XEN_ROOT)/dist
|
|
DESTDIR ?= /
|