post_install() {
	echo ">>> UEFI Shell v1 binaries are installed at /usr/share/uefi-shell/*.efi"
}

post_upgrade() {
	post_install
}