# Default configuration for or32-linux-user