(define-public riscv32-unknown-elf-gcc
  (let* ((triplet "riscv32-unknown-elf")
     (rvgcc (cross-gcc triplet
               #:xbinutils (cross-binutils triplet)
               #:xgcc gcc-9)))
   (package (inherit rvgcc)
        (propagated-inputs
         `(("binutils" ,(cross-binutils triplet))
           ,@(package-propagated-inputs rvgcc)))
        (arguments
         (substitute-keyword-arguments (package-arguments rvgcc)
           ((#:configure-flags rvgcc-configure-flags)
        `(cons* "--with-newlib" "--without-headers"
            "--with-arch=rv32imac" "--with-abi=ilp32"
            "--disable-multilib"
            ,rvgcc-configure-flags)))))))