mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
4a7a4cfac5
This is prerequisite for the Linux update. All dependencies relying on the 'linux' have been adjusted to use 'legacy_linux'. Issue #5264
2 lines
41 B
Plaintext
2 lines
41 B
Plaintext
e22e95d6d3d52a8da64cfdb7fddd2bc379e35358
|