4c4
< # Wed Jul 29 20:29:35 2009
---
> # Wed Jul 29 21:08:51 2009
191,201c191
< CONFIG_PARAVIRT_GUEST=y
< CONFIG_XEN=y
< CONFIG_XEN_MAX_DOMAIN_MEMORY=8
< CONFIG_XEN_SAVE_RESTORE=y
< # CONFIG_XEN_DEBUG_FS is not set
< CONFIG_VMI=y
< CONFIG_KVM_CLOCK=y
< CONFIG_KVM_GUEST=y
< CONFIG_PARAVIRT=y
< CONFIG_PARAVIRT_CLOCK=y
< # CONFIG_PARAVIRT_DEBUG is not set
---
> # CONFIG_PARAVIRT_GUEST is not set
314c304
< CONFIG_EFI=y
---
> # CONFIG_EFI is not set
1105d1094
< CONFIG_XEN_BLKDEV_FRONTEND=y
1763d1751
< CONFIG_XEN_NETDEV_FRONTEND=y
1812d1799
< CONFIG_XEN_KBDDEV_FRONTEND=y
1976,1978d1962
< CONFIG_HVC_DRIVER=y
< CONFIG_HVC_IRQ=y
< CONFIG_HVC_XEN=y
2662,2664c2646,2648
< CONFIG_FB_SYS_FILLRECT=y
< CONFIG_FB_SYS_COPYAREA=y
< CONFIG_FB_SYS_IMAGEBLIT=y
---
> CONFIG_FB_SYS_FILLRECT=m
> CONFIG_FB_SYS_COPYAREA=m
> CONFIG_FB_SYS_IMAGEBLIT=m
2666,2667c2650
< CONFIG_FB_SYS_FOPS=y
< CONFIG_FB_DEFERRED_IO=y
---
> CONFIG_FB_SYS_FOPS=m
2686d2668
< CONFIG_FB_EFI=y
2719d2700
< CONFIG_XEN_FBDEV_FRONTEND=y
3254,3255d3234
< CONFIG_XEN_BALLOON=y
< CONFIG_XEN_SCRUB_PAGES=y
3263d3241
< CONFIG_EFI_VARS=m
3715a3694
> CONFIG_PAX_KERNEXEC=y