|  |  | 
  
    |  |  | 
 
  |   |  | 
  
    |  |  | 
  
    |  |  | 
  
    |   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
 | 
 |  | 
  
    |  |  |