genode
System libraries for the Genode Operating System Framework
Summary
| Latest Version | Unknown |
|---|---|
| License | AGPLv3 |
| CI Status | Failing |
| Downloads | 0 |
| Last Indexed | 2026-07-22 05:28 |
Tags
Installation
nimble install genode
choosenim install genode
git clone https://git.sr.ht/~ehmry/nim_genode
OS Compatibility
| Platform | Linux | macOS | Windows | FreeBSD | OpenBSD | NetBSD | Android | iOS | WASM | Embedded |
|---|---|---|---|---|---|---|---|---|---|---|
| genode | ✓ | ✓ | ✓ | - | - | - | - | - | - | - |
Source
| Repository | https://git.sr.ht/~ehmry/nim_genode |
|---|---|
| Homepage | https://git.sr.ht/~ehmry/nim_genode |
| Registry Source | nimble_official |
README
Genode platform library for Nim
This is a Nim library for interacting with the Genode OS.
Simply adding import genode to a project is also sufficient
for passing the necessary compiler flags thru the toolchain.
A pattern for use with Nimble:
...
srcDir = "src"
bin = @["foo"]
requires "nim >= 1.0.0", "genode"
task genode, "Build for Genode":
exec "nim cpp --os:genode -d:posix -o:foo.genode src/foo"
This adds a task for building a Genode binary invoked by calling nimble genode
through the shell. The compilier will invoke pkg-config and thus needs
PKG_CONFIG_PATH set to point at the pkgconfig files supplied with a Genode SDK,
so the command to use is probably closer to
PKG_CONFIG_PATH="/opt/genode-sdk-x86_64/pkgconfig" nimble genode.
See https://github.com/ehmry/genode/releases/ for a compatible SDK.