Merge branch 'master' of github.com:jtsiomb/pcboot
[bootcensus] / src / bootdev.h
2019-09-02 John Tsiombikasbackported more fixes from 256boss