Andrew Robbins b6b87eae55 Remove braces from parameter expansions vor 7 Jahren
..
configs 0e034cf65c Rename SeaBIOS targets to less confusing names vor 7 Jahren
seabios b6b87eae55 Remove braces from parameter expansions vor 7 Jahren