# SeaBIOS and VGA BIOS provenance

The runtime uses `bios/seabios.bin` and `bios/vgabios.bin` from the exact v86
source commit recorded in `SOURCE.md`. The v86 build helper
`bios/fetch-and-build-seabios.sh` checks out SeaBIOS `rel-1.16.2` and builds both
files using the v86 `seabios.config` files.

- Component: SeaBIOS, including its VGA BIOS
- Upstream: <https://git.seabios.org/seabios.git>
- Tag: `rel-1.16.2`
- Exact commit: `ea1b7a0733906b8425d948ae94fba63c32b1d425`
- License: GNU LGPL version 3; the complete GPLv3 and LGPLv3 texts are retained
  as `bios/COPYING` and `bios/COPYING.LESSER`
- Corresponding source: `sources/seabios-rel-1.16.2-source.tar.gz`

The firmware binaries are unmodified. Their exact checksums are recorded in
`SHA256SUMS`.