Assertion: different version | /r/CapableOf | implement different page-table formats
Facets:
value: for different operating systems
type: TRANSITIVE-OBJECT
Source sentences:
text: As the PALcode for a processor can be processor-specific and operating-system-specific, this allows different versions of PALcode to implement different page-table formats for different operating systems, without requiring that the TLB format, and the instructions to control the TLB, to be specified by the architecture.