ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-25 16:31:06 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
6,705 Commits 2 Branches 70 Tags 87 MiB
ddd5e8abb4
Commit Graph

2 Commits

Author SHA1 Message Date
Emery Hemingway
b32f2d126a update Nim toolchain recipe 
The current upstream development version has improved asyndispatch
performance for Genode.

Fix #2599
 2017-12-21 15:01:38 +01:00
Emery Hemingway
caba2d3021 Enforce use of a custom Nim compiler 
Use a custom Nim compiler at '/usr/local/genode-nim' that can be built
with a makefile at 'tool/tool_chain_nim'.

Fix #2545
 2017-11-30 11:23:06 +01:00