search

linuxboot / heads-wiki

Documentation for the Heads firmware project
84 stars 44 forks source link

Document CircleCI / Note on Heads buildsystem #90

Closed tlaurion closed 2 years ago

tlaurion commented 2 years ago

Was put in raw notes here: https://github.com/osresearch/heads/pull/1125#issue-1149368143

tlaurion commented 2 years ago

Fixed as part of #93