# Default configuration for x86_64-bsd-user