src/sys/arch/wgrisc/conf
