This particular line struck me more than the rest of your (very good) post. For those of us unfamiliar, can you recommend/reference critical resources on the testability of the Linux kernel?