ucb-bar/riscv-linux — pull request #7 by arunthomas (2014-12-12 16:54:49+00:00)
Title: defconfig: Use gnu-toolchain

Update the Linux kernel default config to use the riscv-gnu-toolchain. It doesn't seem to build with the old riscv-gcc toolchain.