rv64 toolchain configure for riscv-pk

kernel/Makefile

@@ -80,7 +80,7 @@ ifeq ($(uname), Darwin)
 prefix := x86_64-elf-
 endif
 ifeq ($(arch), riscv32)
-prefix := riscv32-unknown-elf-
+prefix := riscv64-unknown-elf-
 endif
 
 ld := $(prefix)ld
@@ -128,10 +128,10 @@ build/riscv32/os.iso: $(kernel)
 	 mkdir -p build && \
 	 cd build && \
 	 ../configure \
+	 	--enable-32bit \
 	 	--enable-logo \
-	 	--prefix=$(RISCV) \
 	 	--disable-fp-emulation \
-	 	--host=riscv32-unknown-elf \
+	 	--host=riscv64-unknown-elf \
 	 	--with-payload=$(abspath $(kernel)) && \
 	 make && \
 	 cp bbl ../../kernel/$@

riscv-pk/configure

@@ -4084,8 +4084,8 @@ fi
 case "${BUILD_32BIT}" in
   yes|default)
 	echo "Building 32-bit pk"
-	CFLAGS="$default_CFLAGS -m32"
-	LDFLAGS="-m32"
+	CFLAGS="$default_CFLAGS -march=rv32i -mabi=ilp32"
+	LDFLAGS="-march=rv32i -mabi=ilp32"
 	install_subdir="riscv32-unknown-elf"
 	;;
   *)

riscv-pk/configure.ac

@@ -88,8 +88,8 @@ AC_ARG_ENABLE([32bit],
 case "${BUILD_32BIT}" in
   yes|default)
 	echo "Building 32-bit pk"
-	CFLAGS="$default_CFLAGS -m32"
-	LDFLAGS="-m32"
+	CFLAGS="$default_CFLAGS -march=rv32i -mabi=ilp32"
+	LDFLAGS="-march=rv32i -mabi=ilp32"
 	install_subdir="riscv32-unknown-elf"
 	;;
   *)

riscv-pk/machine/minit.c

@@ -91,7 +91,7 @@ static void memory_init()
 static void hart_init()
 {
   mstatus_init();
-  fp_init();
+//  fp_init();
   delegate_traps();
 }