Add native Genode JMAP port #22
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "port/genode-native"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Adds native Genode/Goa build and runtime packaging for jerboa-jmap, Genode-safe file publication, the pure-Scheme jsqlite bundle, age crypto smoke, and port documentation.
Verified:
Known limit: shared Jerboa core still has lazy linkat/unlinkat references in optional TLS/X.509 publication.