Display MoreIt is there
LibreELEC:~ # which irexec
/usr/bin/irexec
LibreELEC:~ # /usr/bin/irexec -h
Usage: /usr/bin/irexec [options] [config_file]
-h --help display usage summary
-v --version display version
-d --daemon run in background
-n --name use this program name
LibreELEC:~ #
But simple stopping of kodi does not turn off hdmi
How exactly are you stopping kodi with irexec?
I had a go a while ago but gave up.