I attempted to install guix system on an gpd micropc laptop, choosing an encrypted filesystem without a separate home partition. The laptop keyboard is a usb keyboard. Once installed,  I was able to use the keyboard for the first time the password was asked for. The second time, however, the keyboard was not functional.