ArchLinux
Porting coreboot to Dell Latitude E6230
a project by ArchLinux
I'm going to port coreboot to the Dell Latitude E6230 laptop and make it work.
study RISC-V proxy kernel and simulater
a project by ArchLinux
I'm planning to do some research about RV32E which has only 16 GPRs, but riscv-pk doesn't have RV32E support so that the RV32E aware GCC (https://github.com/kito-cheng/riscv-gcc/tree/riscv-next) cannot build riscv-pk. I'm going to study how the proxy kernel works so that I can do some modification to let it support RV32E.
2
4
1
2
Looking for projects around:
Nothing at the moment
Activity