Open Source Marine Linux OS for Raspberry Pi

[aviljoen]

Thanks for the above,
I am able to set resolution of an attached HDMI screen, but I cannot seem to set the resolution used by VNC when no HDMI monitor is attached.
I have tried various combinations of these /boot/config.txt entries:
disable_overscan=1
framebuffer_width=1920
framebuffer_height=1080
hdmi_force_hotplug=1
hdmi_force_mode=82
hdmi_drive=2
hdmi_group=2
hdmi_mode=82

Your advice would be appreciated.
Thanks so much.