Add native Genode JMAP port #22

Merged
ober merged 1 commit from port/genode-native into main 2026-09-04 14:08:37 -04:00
Owner

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:

  • make binary, native-test 9/9, security gates, tests, and e2e
  • all 18 native exports
  • Genode age crypto smoke
  • jjmapd 0.2.30 startup, child exit 0
  • JMAP DSO has no unresolved linkat/unlinkat

Known limit: shared Jerboa core still has lazy linkat/unlinkat references in optional TLS/X.509 publication.

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: - make binary, native-test 9/9, security gates, tests, and e2e - all 18 native exports - Genode age crypto smoke - jjmapd 0.2.30 startup, child exit 0 - JMAP DSO has no unresolved linkat/unlinkat Known limit: shared Jerboa core still has lazy linkat/unlinkat references in optional TLS/X.509 publication.
Add native Genode JMAP port
All checks were successful
version-policy / required (pull_request) Successful in 11s
required-ci / required (pull_request) Successful in 9m21s
fcfed2ed4a
ober merged commit 5b89292334 into main 2026-09-04 14:08:37 -04:00
ober referenced this pull request from a commit 2026-09-04 14:08:39 -04:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
ober/jerboa-jmap!22
No description provided.