Commit Graph

35 Commits

Author SHA1 Message Date
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
7ad00d1152 base-hw/recipes: src/base-hw-muen 2019-01-07 12:25:46 +01:00
42c5f2e91e hw: add src package for base-hw-zynq_qemu
* Needed for nightly depot_autopilot tests (Ref #3027)
2019-01-07 12:25:43 +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
655fbbd984 base-hw: recipes for ARMv7a platforms
* To base-hw/recipes/src add base-hw-arndale, base-hw-imx53_qsb,
  base-hw-imx53_qsb_tz, base-hw-odroid_xu, base-hw-panda, base-hw-rpi,
  base-hw-wand_quad
* Ensure that the correct base-hw recipe is choosen by the run module
  'boot_dir/hw'
2018-11-16 14:37:20 +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
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
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
0d1be4abe2 depot: update recipe hashes 2017-06-29 12:00:04 +02:00
892ede515f depot: update recipe hashes 2017-05-31 16:18:01 +02:00
b58fbe5ba5 Depot-archive recipes
Issue #2339
2017-05-31 13:15:56 +02:00