/audio_mini2440.c/1.5/Sat Feb 29 05:51:11 2020//Tnetbsd-10
/if_dm_mini2440.c/1.3/Mon Nov 12 18:00:39 2012//Tnetbsd-10
/mini2440_bootinfo.h/1.1/Mon Jan 30 03:28:33 2012//Tnetbsd-10
/mini2440_lcd.c/1.6/Sat Aug  7 16:18:50 2021//Tnetbsd-10
/mini2440_machdep.c/1.19/Tue Aug 17 22:00:29 2021//Tnetbsd-10
/mini2440_start.S/1.2/Mon Jun 13 17:26:34 2022//Tnetbsd-10
D