Workspace of gerrit-binpkgs on build5-deb12build-ansible

	board_cstartup_gnu.c	Jul 15, 2026, 5:42:47 PM	6.84 KiB
	board_lowlevel.c	Jul 15, 2026, 5:42:47 PM	7.94 KiB
	boardver_adc.c	Jul 15, 2026, 5:42:47 PM	2.80 KiB
	led.c	Jul 15, 2026, 5:42:47 PM	6.31 KiB
	manifest.c	Jul 15, 2026, 5:42:47 PM	705 B
	uart_console.c	Jul 15, 2026, 5:42:47 PM	10.49 KiB
(all files in zip)