Index of /pub/unix/systems/BSD/NetBSD/NetBSD-current/src/sys/external/bsd/gnu-efi/dist/inc/riscv64

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]efibind.h2021-09-30 21:09 4.9K 
[TXT]efilibplat.h2021-09-30 20:50 233  
[TXT]efisetjmp_arch.h2021-09-30 20:50 618  
Apache/2.4.62 (Debian) Server at info.icm.edu.pl Port 80