Mitchell Horne 9ead45af7b RISC-V: copy kernelname from the environment ...

This is allows kern.bootfile to report the correct value.

2020-08-15 16:15:34 +00:00

..

conf

Add DDB_CTF to the arm64 and riscv kernel configs

2020-08-05 11:54:51 +00:00

include

Use uintptr_t instead of uint64_t for pointers in stack frames.

2020-08-12 20:29:49 +00:00

riscv

RISC-V: copy kernelname from the environment

2020-08-15 16:15:34 +00:00

sifive

riscv/sifive: add FE310 Always-on driver

2020-04-02 00:33:15 +00:00