2. There is no doubt in my mind that some kind of programmability will go into NGSCB/LaGrande
3. Recent work/research by allman seems to point to new Intel processors which apparently feature some kind of separate vault/processor directly on the main processor silicon. A perfect place for some kind of Embassy OS