ia64/xen-unstable

annotate config/MiniOS.mk @ 19848:5839491bbf20

[IA64] replace MAX_VCPUS with d->max_vcpus where necessary.

don't use MAX_VCPUS, and use vcpu::max_vcpus.
The changeset of 2f9e1348aa98 introduced max_vcpus to allow more vcpus
per guest. This patch is ia64 counter part.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
author Isaku Yamahata <yamahata@valinux.co.jp>
date Mon Jun 29 11:26:05 2009 +0900 (2009-06-29)
parents 7e91007fa727
children
rev   line source
keir@17046 1 include $(XEN_ROOT)/config/StdGNU.mk
keir@17046 2 include $(XEN_ROOT)/extras/mini-os/Config.mk
keir@17046 3 CFLAGS += $(DEF_CFLAGS) $(ARCH_CFLAGS)
keir@17046 4 CPPFLAGS += $(DEF_CPPFLAGS) $(ARCH_CPPFLAGS) $(extra_incl)
keir@17046 5 ASFLAGS += $(DEF_ASFLAGS) $(ARCH_ASFLAGS)
keir@17046 6 LDFLAGS += $(DEF_LDFLAGS) $(ARCH_LDFLAGS)
keir@17046 7
keir@17046 8 # Override settings for this OS
keir@17046 9 PTHREAD_LIBS =