11ef8e1ff2
depot: update recipe hashes
2019-11-28 09:06:39 +01:00
7ed1d7f11d
depot: update recipe hashes
2019-11-19 14:54:14 +01:00
4a7b0e99a6
depot: update recipe hashes
2019-09-20 14:14:16 +02:00
b2c59576ae
depot: update recipe hashes
2019-08-28 14:36:56 +02:00
312f801f8a
depot: update recipe hashes
2019-08-21 13:25:26 +02:00
17d32b3e15
depot: update recipe hashes
2019-07-09 09:06:54 +02:00
3c4c460f82
depot: update recipe hashes
2019-06-13 13:40:37 +02:00
2b183f9497
depot: update recipe hashes
2019-05-29 10:20:52 +02:00
ba51800b31
depot: update recipe hashes
2019-05-06 16:15:27 +02:00
6d0a271308
depot: add recipe for base-sel4-imx7d_sabre
...
Fix #3293
2019-05-06 16:15:26 +02:00
6ea1179145
depot: update recipe hashes
2019-04-09 12:30:35 +02:00
d027f12764
depot: update recipe hashes
2019-04-02 09:36:39 +02:00
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
ebe71a12ed
depot: update recipe hashes
2019-03-19 11:12:36 +01:00
46a29532a9
depot: update recipe hashes
2019-02-26 14:47:02 +01:00
0e0b6bdde7
depot: update recipe hashes
2019-02-19 11:13:56 +01:00
271e2398f9
depot: update recipe hashes
2019-02-12 14:24:12 +01:00
3a169d3a78
depot: update recipe hashes
2019-01-30 13:55:20 +01:00
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
ed65267bc5
depot: update recipe hashes
2019-01-14 12:34:41 +01:00
bf62d6b896
Move timer from os to base repository
...
Since the timer and timeout handling is part of the base library (the
dynamic linker), it belongs to the base repository.
Besides moving the timer and its related infrastructure (alarm, timeout
libs, tests) to the base repository, this patch also moves the timer
from the 'drivers' subdirectory directly to 'src' and disamibuates the
timer's build locations for the various kernels. Otherwise the different
timer implementations could interfere with each other when using one
build directory with multiple kernels.
Note that this patch changes the include paths for the former os/timer,
os/alarm.h, os/duration.h, and os/timed_semaphore.h to base/.
Issue #3101
2019-01-14 12:33:57 +01:00
21a61cd583
depot: update recipe hashes
2019-01-07 12:43:37 +01:00
1d0e063f49
base-sel4: recipe for Wandboard platform
...
* Allow depot_autopilot to be run on top of sel4/wand_quad too (Ref #3027 )
2019-01-07 12:25:44 +01:00
11eecdc7bd
depot: update recipe hashes
2018-11-29 11:54:31 +01:00
70e7499e48
depot: update recipe hashes
2018-11-16 15:07:53 +01:00
0867da28a2
depot: update recipe hashes
2018-10-29 09:36:23 +01:00
e88081a454
depot: update recipe hashes
2018-10-01 11:25:03 +02:00
5dcf06d208
depot: update recipe hashes
2018-09-13 15:21:26 +02:00
c2e0d0ae20
depot: update recipe hashes
2018-08-30 09:25:10 +02:00
f4ea50c6ff
depot: update recipe hashes
2018-08-08 10:59:04 +02:00
b485caf33c
depot: update recipe hashes
2018-07-03 09:40:11 +02:00
246bacd9da
depot: update recipe hashes
2018-06-13 13:52:12 +02:00
bd86efe5fe
depot: update recipe hashes
2018-05-31 14:02:21 +02:00
3b7d6394d7
depot: update recipe hashes
2018-05-03 15:32:01 +02:00
47569458d4
depot: update recipe hashes
2018-04-19 12:39:20 +02:00
761d75423d
sel4: rename ld-sel4.lib.so to ld.lib.so in archive
2018-04-19 12:39:20 +02:00
d54f95d497
depot: update recipe hashes
2018-04-10 13:03:26 +02:00
b07d6eced8
depot: update recipe hashes
2018-03-29 14:59:07 +02:00
1f7b5e75bf
depot: update recipe hashes
2018-03-08 12:05:10 +01:00
a8f186c7d4
depot: update recipe hashes
2018-02-28 11:05:05 +01:00
e79ce5a036
depot: update recipe hashes
2018-02-16 08:42:31 +01:00
8d09d02b85
depot: update recipe hashes
2018-02-09 13:34:24 +01:00
6013889028
depot: update recipe hashes
2018-01-17 12:14:44 +01:00
553cf556af
depot: update recipe hashes
2017-12-21 15:01:56 +01:00
25ca29002e
depot: update recipe hashes
2017-11-30 11:24:49 +01:00
491be000ca
depot: update recipe hashes
2017-11-09 12:19:59 +01:00
30948a4b0d
depot: update recipe hashes
2017-11-06 13:57:25 +01:00
ee4ee6a8ac
depot: update recipe hashes
2017-10-19 13:31:18 +02:00
2ed904faab
depot: update recipe hashes
2017-08-30 12:41:43 +02:00
8b073f46df
depot: update recipe hashes
2017-08-18 10:25:28 +02:00
Christian Helmuth
Stefan Kalkowski
Norman Feske