I have a Raspberry Pi. I am just starting to play with it - so I am a Pi newbie. I need more hardware to do what my intended app needs to do (record HDMI video input)

My RPi has been installed in a nice box today ready to go to its new home and be connected to the curtain motor that will be its new best friend! So I have started setting a new one up (without the GPIO pins). For the first RPi I bought an SD card with the OS on it but for the second one I have downloaded the Raspberry Pi Imager.

Browsing through the various OS options I came across Media Player Kodi OS and thought about your application...not sure if you have come across it or not and whether it is helpful or not but thought I'd share it just in case it helps.