upgrade_msg() {
	cat << __EOF__
Xen 4.8
Release notes
http://wiki.xen.org/wiki/Xen_Project_4.8_Release_Notes
Feature list
http://wiki.xen.org/wiki/Xen_Project_4.8_Feature_List
__EOF__

	if [ "$(vercmp 4.8.0-4 "$1")" -lt 0 ]; then
		cat << __EOF__
!!!!!
This Xen version has split out SeaBIOS and OVMF.
If you need to use VMs with BIOS or UEFI, install seabios or ovmf respectively.
!!!!!
__EOF__
	fi

}

post_install() {
	upgrade_msg
}

post_upgrade() {
	upgrade_msg $@
}