Files for check-in 1dddebba6a90abb0 and within directory /kernel sorted by filename

File ages are expressed relative to the check-in time of 2012-08-05 21:38:27.