#
# Automatically generated file; DO NOT EDIT.
# SeaBIOS Configuration
#
