Hello:
In the page 19 of the l4re-source document there is a description about caps as following:
Caps The table with application-specific named capabilities (default is an empty table). If the table does not contain a capability with the name ’rom’, the ’rom’ capability from Ned’s initial caps is inserted into the table.
How can i understand "If the table does not contain a capability with the name ’rom’, the ’rom’ capability from Ned’s initial caps is inserted into the table."
Thanks. Warm regards.
Cheng Guanghui