Waydroid: Boot a full Android system on a regular GNU/Linux system