Change to new aarch64-unknown-none-softfloat target

01_wait_forever/Makefile

@@ -9,13 +9,13 @@ endif
 
 # BSP-specific arguments
 ifeq ($(BSP),bsp_rpi3)
-	TARGET = aarch64-unknown-none
+	TARGET = aarch64-unknown-none-softfloat
 	OUTPUT = kernel8.img
 	QEMU_BINARY = qemu-system-aarch64
 	QEMU_MACHINE_TYPE = raspi3
 	QEMU_MISC_ARGS = -d in_asm
 	LINKER_FILE = src/bsp/rpi3/link.ld
-	RUSTC_MISC_ARGS = -C target-feature=-fp-armv8 -C target-cpu=cortex-a53
+	RUSTC_MISC_ARGS = -C target-cpu=cortex-a53
 endif
 
 SOURCES = $(wildcard **/*.rs) $(wildcard **/*.S) $(wildcard **/*.ld)

01_wait_forever/README.md

@@ -5,7 +5,7 @@
 Project skeleton is set up; Code just halts all CPU cores.
 
 - Toolchain: `cargo xbuild` tools (`xrustc`, `xclippy`) and the
-  `aarch64-unknown-none` target are used for building `AArch64` bare-metal code.
+  `aarch64-unknown-none-softfloat` target are used for building `AArch64` bare-metal code.
 - `Makefile` targets:
     - `doc`: Generate documentation.
     - `qemu`: Run the `kernel` in QEMU

02_runtime_init/Makefile

@@ -9,13 +9,13 @@ endif
 
 # BSP-specific arguments
 ifeq ($(BSP),bsp_rpi3)
-	TARGET = aarch64-unknown-none
+	TARGET = aarch64-unknown-none-softfloat
 	OUTPUT = kernel8.img
 	QEMU_BINARY = qemu-system-aarch64
 	QEMU_MACHINE_TYPE = raspi3
 	QEMU_MISC_ARGS = -d in_asm
 	LINKER_FILE = src/bsp/rpi3/link.ld
-	RUSTC_MISC_ARGS = -C target-feature=-fp-armv8 -C target-cpu=cortex-a53
+	RUSTC_MISC_ARGS = -C target-cpu=cortex-a53
 endif
 
 SOURCES = $(wildcard **/*.rs) $(wildcard **/*.S) $(wildcard **/*.ld)

03_hacky_hello_world/Makefile

@@ -9,13 +9,13 @@ endif
 
 # BSP-specific arguments
 ifeq ($(BSP),bsp_rpi3)
-	TARGET = aarch64-unknown-none
+	TARGET = aarch64-unknown-none-softfloat
 	OUTPUT = kernel8.img
 	QEMU_BINARY = qemu-system-aarch64
 	QEMU_MACHINE_TYPE = raspi3
 	QEMU_MISC_ARGS = -serial null -serial stdio
 	LINKER_FILE = src/bsp/rpi3/link.ld
-	RUSTC_MISC_ARGS = -C target-feature=-fp-armv8 -C target-cpu=cortex-a53
+	RUSTC_MISC_ARGS = -C target-cpu=cortex-a53
 endif
 
 SOURCES = $(wildcard **/*.rs) $(wildcard **/*.S) $(wildcard **/*.ld)

04_zero_overhead_abstraction/Makefile

@@ -9,13 +9,13 @@ endif
 
 # BSP-specific arguments
 ifeq ($(BSP),bsp_rpi3)
-	TARGET = aarch64-unknown-none
+	TARGET = aarch64-unknown-none-softfloat
 	OUTPUT = kernel8.img
 	QEMU_BINARY = qemu-system-aarch64
 	QEMU_MACHINE_TYPE = raspi3
 	QEMU_MISC_ARGS = -serial null -serial stdio
 	LINKER_FILE = src/bsp/rpi3/link.ld
-	RUSTC_MISC_ARGS = -C target-feature=-fp-armv8 -C target-cpu=cortex-a53
+	RUSTC_MISC_ARGS = -C target-cpu=cortex-a53
 endif
 
 SOURCES = $(wildcard **/*.rs) $(wildcard **/*.S) $(wildcard **/*.ld)