UEFI boot for OpenBSD

uefi boot works here had been merged into the OpenBSD repository

This repository is not the latest version any more.