Andrew Robbins b6b87eae55 Remove braces from parameter expansions hace 7 años
..
configs 0e034cf65c Rename SeaBIOS targets to less confusing names hace 7 años
seabios b6b87eae55 Remove braces from parameter expansions hace 7 años