14 	char *s;  in checkboard()  local
18 	s = "Custom";  in checkboard()
20 	s = "6U CompactPCI";  in checkboard()
22 	s = "ATCA w/PMC";  in checkboard()
24 	s = "ATCA w/AMC";  in checkboard()
26 	s = "VME";  in checkboard()
28 	s = "6U VPX";  in checkboard()
30 	s = "PMC";  in checkboard()
32 	s = "PCI";  in checkboard()
34 	s = "3U CompactPCI";  in checkboard()
36 	s = "AdvancedMC";  in checkboard()
38 	s = "XMC";  in checkboard()
40 	s = "PMC/XMC";  in checkboard()
42 	s = "PCI Express";  in checkboard()
44 	s = "3U VPX";  in checkboard()
50 	printf("Board: X-ES %s %s SBC\n", name, s);  in checkboard()