And I believe that FPGAs are the Hardware of Choice for real NextGen OS ... ;) !
Don't take of Trusted Computing or stupid security related things ( like OS design or so forth => if we want to go at the lowest level, security is in the compiler and indeed the language itself and I don't think that BitC will be enough to ensure the task ... ) , nobody take care of this ....