diff options
| author | Alejandro Soto <alejandro@34project.org> | 2024-05-12 13:24:20 -0600 |
|---|---|---|
| committer | Alejandro Soto <alejandro@34project.org> | 2024-05-12 13:30:03 -0600 |
| commit | 9324d6fdfe6f605d61fc047c05c5bbe7c1507873 (patch) | |
| tree | d182e3e6b9e069904c77659cbc0c3cec91577fac | |
| parent | 9a1b8cb728a937263ea02d3453f325d19dc78863 (diff) | |
platform/wavelet3d/host_sw: add picolibc
Diffstat (limited to '')
| -rw-r--r-- | .gitmodules | 3 | ||||
| -rw-r--r-- | flake.nix | 2 | ||||
| -rw-r--r-- | platform/wavelet3d/host_sw/cross-riscv32-none-elf.txt | 25 | ||||
| m--------- | platform/wavelet3d/host_sw/picolibc | 0 |
4 files changed, 30 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..d84429f --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "platform/wavelet3d/host_sw/picolibc"] + path = platform/wavelet3d/host_sw/picolibc + url = https://github.com/picolibc/picolibc @@ -138,6 +138,8 @@ gnumake gtkwave kermit + meson + ninja lcov pkg-config (python3.withPackages (py: with py; [ diff --git a/platform/wavelet3d/host_sw/cross-riscv32-none-elf.txt b/platform/wavelet3d/host_sw/cross-riscv32-none-elf.txt new file mode 100644 index 0000000..747bcac --- /dev/null +++ b/platform/wavelet3d/host_sw/cross-riscv32-none-elf.txt @@ -0,0 +1,25 @@ +[binaries] +# Meson 0.53.2 doesn't use any cflags when doing basic compiler tests, +# so we have to add -nostdlib to the compiler configuration itself or +# early compiler tests will fail. This can be removed when picolibc +# requires at least version 0.54.2 of meson. +c = ['riscv32-none-elf-gcc', '-nostdlib'] +ar = 'riscv32-none-elf-ar' +as = 'riscv32-none-elf-as' +strip = 'riscv32-none-elf-strip' +nm = 'riscv32-none-elf-nm' + +[host_machine] +system = 'unknown' +cpu_family = 'riscv32' +cpu = 'riscv' +endian = 'little' + +[properties] +# default multilib is 64 bit +c_args = [ '-march=rv32imfc', '-mabi=ilp32f', '-mcmodel=medlow', '-fno-common' ] +skip_sanity_check = true +default_flash_addr = '0x00000000' +default_flash_size = '0x04000000' +default_ram_addr = '0x04000000' +default_ram_size = '0x1c000000' diff --git a/platform/wavelet3d/host_sw/picolibc b/platform/wavelet3d/host_sw/picolibc new file mode 160000 +Subproject 695583c3b7dc461204948db5c8390e967b526a2 |
