Workspace of gerrit-binpkgs on build4-deb12build-ansible

	sercomm_cons.h	Sep 12, 2024, 7:59:56 AM	212 B
	sercomm.h	Sep 12, 2024, 7:59:56 AM	1.48 KiB
	timer.h	Sep 12, 2024, 7:59:56 AM	1.86 KiB
(all files in zip)