xous-core/kernel/bin
…
..
riscv32i-unknown-none-elf.a
riscv32imac-unknown-none-elf.a
riscv32imc-unknown-none-elf.a
riscv64gc-unknown-none-elf.a
riscv64imac-unknown-none-elf.a kernel: move to allow hosted init 2020-06-03 18:28:22 +08:00