ArchLinux

I'm going to port coreboot to the Dell Latitude E6230 laptop and make it work. Dell Latitude E6230 has two SOIC-8 flash chips. The 4M one which contains the top part of the firmware can be read and programmed, while the 8M one is hard to access via ISP. I downloaded a 12MB ROM from a Google drive made by others.

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.