http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25825 --- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> 2011-12-22 01:17:18 UTC --- I don't think you can even use libstdc++ in a device driver or a kernel extension anyways as it depends on a libc to be there.