How to make the G1 Mini PC output 4K@60hz

Its HDMI port only supports 4K@30hz video output, while the DisplayPort supports 4K@60hz. If your monitor only supports HDMI, you can try using an HDMI to DisplayPort adapter. Just make sure that this adapter also supports 4K@60hz.