|
|
|
|
|
|
|
|
|
|
xen-ia64-devel
[Xen-ia64-devel] Re: [PATCH] Fix CONFIG_XEN=no for gate page
> Fix CONFIG_XEN=no for gate page
>
> The important part of this is to refrain from building .tmp_gate.o unless
> CONFIG_XEN. However it also seems correct to make xen_gate_section in
> vmlinux.lds.S depend on CONFIG_XEN as well. Tested that both builds work now.
Applied. Thanks,
Alex
--
Alex Williamson HP Open Source & Linux Org.
_______________________________________________
Xen-ia64-devel mailing list
Xen-ia64-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-ia64-devel
|
|
|
|
|