Christian Helmuth
11ef8e1ff2
depot: update recipe hashes
2019-11-28 09:06:39 +01:00
Christian Helmuth
7ed1d7f11d
depot: update recipe hashes
2019-11-19 14:54:14 +01:00
Christian Helmuth
4a7b0e99a6
depot: update recipe hashes
2019-09-20 14:14:16 +02:00
Christian Helmuth
b2c59576ae
depot: update recipe hashes
2019-08-28 14:36:56 +02:00
Christian Helmuth
312f801f8a
depot: update recipe hashes
2019-08-21 13:25:26 +02:00
Christian Helmuth
17d32b3e15
depot: update recipe hashes
2019-07-09 09:06:54 +02:00
Christian Helmuth
3c4c460f82
depot: update recipe hashes
2019-06-13 13:40:37 +02:00
Christian Helmuth
2b183f9497
depot: update recipe hashes
2019-05-29 10:20:52 +02:00
Christian Helmuth
ba51800b31
depot: update recipe hashes
2019-05-06 16:15:27 +02:00
Christian Helmuth
6ea1179145
depot: update recipe hashes
2019-04-09 12:30:35 +02:00
Norman Feske
d027f12764
depot: update recipe hashes
2019-04-02 09:36:39 +02:00
Stefan Kalkowski
3d727a403f
sel4: update tools to currently used version 9.0.x
...
Until now, Genode referenced a fork of the outdated elfloader-tool
to enable bootstrapping of sel4 on ARM platforms. Because the
elfloader is inherently dependent on the used platforms newer
ARM versions supported by the kernel could not be loaded by the
outdated elfloader. This commit uses a fresh fork of the nowadays
used sel4_tools repository.
Ref #3251
2019-04-01 19:33:49 +02:00
Christian Helmuth
ebe71a12ed
depot: update recipe hashes
2019-03-19 11:12:36 +01:00
Christian Helmuth
46a29532a9
depot: update recipe hashes
2019-02-26 14:47:02 +01:00
Norman Feske
0e0b6bdde7
depot: update recipe hashes
2019-02-19 11:13:56 +01:00
Christian Helmuth
271e2398f9
depot: update recipe hashes
2019-02-12 14:24:12 +01:00
Norman Feske
3a169d3a78
depot: update recipe hashes
2019-01-30 13:55:20 +01:00
Stefan Kalkowski
b765cef359
replace Wandboard by i.MX6 reference board
...
Instead of using the Wandboard Quad, the reference hardware from NXP
i.MX6 Quad Sabrelite will be used by Fiasco.OC, sel4 and hw by default.
2019-01-30 13:35:28 +01:00