EROS konkret

EROS ihm seine Capability Typen:

Number
positive ganze Zahl
[0 , 2**96-2**16)
Operationen: get_value und typeof
werden intern benutzt

Data Page
ReadOnly und ReadWrite Variante
aus diesen wird der Adressraum aufgespannt
Page Size: i386=^4k