denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
f3f8d9a6de32b44e20f6c9521f697cdad5ddcdba
genode/repos/base-pistachio/ports
History
Christian Helmuth 161274f785 pistachio: check for 'ed' tool on port prepare 
Some debian systems seems to come without 'ed' in the base installation.
The tool is needed when building the pistachio kernel.
2019-12-19 17:00:47 +01:00
..
pistachio.hash
pistachio: check for 'ed' tool on port prepare
2019-12-19 17:00:47 +01:00
pistachio.port
pistachio: check for 'ed' tool on port prepare
2019-12-19 17:00:47 +01:00