Why would you have a 4090 in the non-gaming one? A 2 or 3 generation old laptop used for $150 can idle Linux far below 120W and run most things as fast as a current gen Windows machine. I have my pc and my work laptop both plugged into a huge monitor with 2 buttons to switch input, and ShareMouse to share the same keyboard and mouse. I preferred Synergy, and then the Barrier fork, and then the Input-Leap fork because they are freeware, but they took away local admin and sudo permissions on the work computer, so I needed an alternative that didn’t need elevated privileges and don’t want a hardware KVM switch.