Skip to content

Enable FFI closures for purecap - #2

Open
djlowther wants to merge 10 commits into
CTSRD-CHERI:masterfrom
glasgowPLI:master
Open

djlowther wants to merge 10 commits into
CTSRD-CHERI:masterfrom
glasgowPLI:master

Conversation

@djlowther

Copy link
Copy Markdown

These changes enable the use of closures in purecap builds of the library. The dlmalloc.c used for closure allocations has been replaced with the purecap version from CTSRD-CHERI/dlmalloc_nonreuse, modified to include the executable mapping information. The code pointers to the trampolines are also returned as sentries.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant