I'm also currently working on setting up a system based on a brand new Raspberry Pi 4 Model B 1GB for a smaller setup in a camper. However, I'm already failing at the seemingly most trivial step, the installation of Venus OS.
I followed the instructions exactly, so I downloaded the latest image (v3.14) from Victron and flashed it with balenaEtcher onto a freshly formatted SDHC card (Intenso 16GB SDHC Class 10). I then inserted the card into the Raspi and started it up via USB-C. The original 7″ display is also connected. After a while, the display shows the colourful "splash screen", but nothing else happens. The Raspi is not displayed in the router settings, even if it is connected via LAN, and cannot be found via Bluetooth. The green status LED flashes 7 times at regular intervals.
The error code "Kernel image not found" can be found on Google - how can this be when I am flashing a theoretically fully executable image unchanged onto the SD? Where could I get the missing file and how do I add it?
Side note: Rasbian runs flawlessly if I flash it the same way. I also tried older images but they show the same behaviour.
Cheers!