search

commoncriteria / operatingsystem

Protection Profile for Operating Systems
The Unlicense
9 stars 6 forks source link

FPT_TST_EXT.1.1 - rework assurance activity #59

Closed jeffblank closed 9 years ago

jeffblank commented 9 years ago

make sure we are not levying hardware requirements. finesse the hardware-protected definition.

ajcousi commented 9 years ago

The issue with this is that we really do require the hashes to be held somewhere in hardware - unless we're going from the first part of the kernel loading, if that's the case then we can remove all the hardware bits.

kgal commented 9 years ago

Closing after a week of no complaints.