Files for check-in 44d2557fd1bf1cfb and within directory /kernel sorted by filename

File ages are expressed relative to the check-in time of 2012-08-07 00:29:58.