summaryrefslogtreecommitdiff
path: root/mips/run_embed.ml
diff options
context:
space:
mode:
authorRobert Norton2017-10-31 11:01:10 +0000
committerRobert Norton2017-10-31 11:03:23 +0000
commitb41ee79485e155f67099b007650d73f449db1961 (patch)
tree72a3286b585cb650b5ca036451d3bb6a23bafd16 /mips/run_embed.ml
parentdc62ae8cf283cdf71c0cd2001d57abc77bc52673 (diff)
cheri: ccall selector 1 should have a branch delay slot. TODO we need to throw exception for access to IDC/C26 in branch delay slot.
Diffstat (limited to 'mips/run_embed.ml')
0 files changed, 0 insertions, 0 deletions