Heinrich Schuchardt b95f138fa1 Initial support for RISCV64 4 jaren geleden
..
efibind.h b95f138fa1 Initial support for RISCV64 4 jaren geleden
efilibplat.h b95f138fa1 Initial support for RISCV64 4 jaren geleden