ia64/xen-unstable

view 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
line source
1 include $(XEN_ROOT)/config/StdGNU.mk
2 include $(XEN_ROOT)/extras/mini-os/Config.mk
3 CFLAGS += $(DEF_CFLAGS) $(ARCH_CFLAGS)
4 CPPFLAGS += $(DEF_CPPFLAGS) $(ARCH_CPPFLAGS) $(extra_incl)
5 ASFLAGS += $(DEF_ASFLAGS) $(ARCH_ASFLAGS)
6 LDFLAGS += $(DEF_LDFLAGS) $(ARCH_LDFLAGS)
8 # Override settings for this OS
9 PTHREAD_LIBS =