|
|
bb659887f3
|
Update Genode revision
The label used to request an unlabeled LOG session is now "unlabeled"
and more of the gems repo is built now.
|
2020-01-29 19:38:55 +01:00 |
|
|
|
adff57ad62
|
Update Genode revision
This fixes the core page-faults.
|
2020-01-24 14:46:51 +01:00 |
|
|
|
2aefd243f8
|
Update Genode revision
This update brings in the platform logging commit.
|
2020-01-22 13:02:45 +01:00 |
|
|
|
48eec79d46
|
Move packaging of Genode core repositories here
|
2020-01-22 13:02:43 +01:00 |
|
