ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-26 00:41:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
95c2e5beb3
genode/repos/base-pistachio/ports/pistachio.hash

2 lines
41 B
Plaintext
Raw Normal View History

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-04 10:40:38 +00:00
68c8c318ed89bfe9dd5410cf32c556dc478d1f29
Reference in New Issue Copy Permalink