#!/bin/bash #* Copyright (c) 2020-2022 Intel Corporation. # postinst script for acrn kernel set -e if [ -f /usr/lib/grub/grub-mkconfig_lib ]; then . /usr/lib/grub/grub-mkconfig_lib LX=linux16 elif [ -f /usr/lib/grub/update-grub_lib ]; then . /usr/lib/grub/update-grub_lib LX=linux else # no grub file, so we notify and exit gracefully echo "Cannot find grub config file, exiting." >&2 exit 0 fi filename="/etc/grub.d/40_custom" menu=$(grep ACRN_deb_multiboot2 ${filename}) || true type=$(lsblk -l |awk '$NF == "/" {print $1}') pattern='^/dev/.* UUID="([^"]+)".* PARTUUID="([^"]+)"' while IFS= read -r line; do if [[ $line =~ $pattern ]]; then uuid="${BASH_REMATCH[1]}" partuuid="${BASH_REMATCH[2]}" fi done < <(blkid |grep ext4 |grep ${type}) if ls /boot/vmlinuz*acrn-service-vm* 1> /dev/null 2>&1;then service_vm_kernel=$(ls -tr /boot/vmlinuz-*acrn-service-vm* | tail -1) else service_vm_kernel=$(ls /boot/vmlinuz-* | tail -1) fi if [ -z "$menu" ];then cat>"${filename}"<