Christian Helmuth
c649307720
depot: update recipe hashes
2020-08-28 08:29:12 +02:00
Norman Feske
7d0cb9620b
depot: update recipe hashes
2020-08-25 11:50:41 +02:00
Norman Feske
de795b1a6e
depot: update recipe hashes
2020-07-13 11:33:53 +02:00
Norman Feske
35c3acdf05
depot: update recipe hashes
2020-07-03 11:13:59 +02:00
Norman Feske
4450b37ff5
depot: update recipe hashes
2020-06-29 14:25:28 +02:00
Norman Feske
eb3a81a874
depot: update recipe hashes
2020-06-22 09:39:41 +02:00
Christian Helmuth
6006051fb9
depot: update recipe hashes
2020-05-27 11:56:47 +02:00
Norman Feske
0f27d139bd
depot: update recipe hashes
2020-05-18 10:16:59 +02:00
Norman Feske
dd899fde29
depot: update recipe hashes
2020-04-24 14:37:57 +02:00
Christian Helmuth
b60b591d06
depot: update recipe hashes
2020-04-17 12:40:13 +02:00
Norman Feske
46fa8197a2
depot: update recipe hashes
2020-03-26 11:39:02 +01:00
Christian Helmuth
5affd51250
depot: update recipe hashes
2020-02-28 08:59:43 +01:00
Christian Helmuth
4cccf74664
depot: update recipe hashes
2020-02-20 12:11:23 +01:00
Norman Feske
57ea1dbdd3
depot: update recipe hashes
2020-02-10 14:29:06 +01:00
Christian Helmuth
90535a1401
depot: update recipe hashes
2020-02-04 15:51:10 +01:00
Christian Helmuth
b931b67cba
depot: update recipe hashes
2019-12-19 17:01:43 +01:00
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
Stefan Kalkowski
6d0a271308
depot: add recipe for base-sel4-imx7d_sabre
...
Fix #3293
2019-05-06 16:15:26 +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
Norman Feske
ed65267bc5
depot: update recipe hashes
2019-01-14 12:34:41 +01:00
Norman Feske
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
Christian Helmuth
21a61cd583
depot: update recipe hashes
2019-01-07 12:43:37 +01:00
Stefan Kalkowski
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
Christian Helmuth
11eecdc7bd
depot: update recipe hashes
2018-11-29 11:54:31 +01:00
Christian Helmuth
70e7499e48
depot: update recipe hashes
2018-11-16 15:07:53 +01:00
Christian Helmuth
0867da28a2
depot: update recipe hashes
2018-10-29 09:36:23 +01:00
Christian Helmuth
e88081a454
depot: update recipe hashes
2018-10-01 11:25:03 +02:00
Christian Helmuth
5dcf06d208
depot: update recipe hashes
2018-09-13 15:21:26 +02:00
Christian Helmuth
c2e0d0ae20
depot: update recipe hashes
2018-08-30 09:25:10 +02:00
Christian Helmuth
f4ea50c6ff
depot: update recipe hashes
2018-08-08 10:59:04 +02:00
Christian Helmuth
b485caf33c
depot: update recipe hashes
2018-07-03 09:40:11 +02:00
Christian Helmuth
246bacd9da
depot: update recipe hashes
2018-06-13 13:52:12 +02:00
Christian Helmuth
bd86efe5fe
depot: update recipe hashes
2018-05-31 14:02:21 +02:00
Christian Helmuth
3b7d6394d7
depot: update recipe hashes
2018-05-03 15:32:01 +02:00
