What&#x27;s OpenBSD&#x27;s policy on when something needs to be included?<p>The rPi boot process requires several files to be on a FAT partition on an sd-card: bootcode.bin, fixup.dat, start.elf, config.txt and the OS kernel; the first 3 of which are blobs.<p>Would those blobs need to be included, or would OpenBSD be fine saying &quot;use your existing boot card, just drop in our kernel&quot;, or &quot;go grab these files from <a href="https:&#x2F;&#x2F;github.com&#x2F;raspberrypi&#x2F;firmware&#x2F;tree&#x2F;master&#x2F;boot" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;raspberrypi&#x2F;firmware&#x2F;tree&#x2F;master&#x2F;boot</a> when formatting the sd-card.&quot;?