mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 05:37:54 +00: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
|