NMI handler

This commit is contained in:
Kroese 2023-04-17 13:50:09 +02:00 committed by GitHub
parent d7c39590f4
commit 104265396c

View File

@ -6,7 +6,7 @@ set -u
function checkNMI { function checkNMI {
local nmi local nmi
nmi=$(cat /proc/interrupts | grep NMI | sed 's/[^0-9]*//g' | sed 's/^0*//') nmi=$(cat /proc/interrupts | grep NMI | sed 's/[^1-9]*//g')
if [ "$nmi" != "" ]; then if [ "$nmi" != "" ]; then
@ -21,7 +21,7 @@ function checkNMI {
finish() { finish() {
echo "Shutting down Guest Agent.." > /dev/ttyS0 echo "Shutting down guest agent.." > /dev/ttyS0
exit exit
} }