Workspace of gerrit-binpkgs on build4-deb12build-ansible

	board_cstartup_gnu.c	Jul 30, 2026, 12:30:35 PM	6.84 KiB
	board_lowlevel.c	Jul 30, 2026, 12:30:35 PM	7.94 KiB
	boardver_adc.c	Jul 30, 2026, 12:30:35 PM	2.80 KiB
	led.c	Jul 30, 2026, 12:30:35 PM	6.31 KiB
	manifest.c	Jul 30, 2026, 12:30:35 PM	705 B
	uart_console.c	Jul 30, 2026, 12:30:35 PM	10.49 KiB
(all files in zip)