# Default configuration for x86_64-linux-user