What are the best uefi projects according to HackerNews?

edk2
10 comments
uefi-ntfs
3 comments
sbupdate
3 comments
sbctl
3 comments
RPi4
3 comments