Permit kernel std* to be redirected #420

Merged
merged 4 commits into from May 11, 2011
Commits on May 7, 2011
Commits on May 8, 2011
Commits on May 9, 2011