# Default configuration for i386-linux-user