diff options
| author | Robert Norton | 2017-05-25 15:53:16 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-05-26 09:27:23 +0100 |
| commit | c950b7eecc36120368ce3e00f1f11ac23dd908f9 (patch) | |
| tree | 0406ad620339141c5191de268de2d14a3aa9a154 /mips/mips_extras_embed_sequential.lem | |
| parent | 817d87218d2470c9b8a89368209c97a709901717 (diff) | |
add support for the new ccall selector 1 implementation that directly unseals capabilities.
Diffstat (limited to 'mips/mips_extras_embed_sequential.lem')
0 files changed, 0 insertions, 0 deletions