39 Commits

Author	SHA1	Message	Date
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
Christian Helmuth	47569458d4	depot: update recipe hashes	2018-04-19 12:39:20 +02:00
Christian Helmuth	761d75423d	sel4: rename ld-sel4.lib.so to ld.lib.so in archive	2018-04-19 12:39:20 +02:00
Christian Helmuth	d54f95d497	depot: update recipe hashes	2018-04-10 13:03:26 +02:00
Christian Helmuth	b07d6eced8	depot: update recipe hashes	2018-03-29 14:59:07 +02:00
Christian Helmuth	1f7b5e75bf	depot: update recipe hashes	2018-03-08 12:05:10 +01:00
Christian Helmuth	a8f186c7d4	depot: update recipe hashes	2018-02-28 11:05:05 +01:00
Norman Feske	e79ce5a036	depot: update recipe hashes	2018-02-16 08:42:31 +01:00
Norman Feske	8d09d02b85	depot: update recipe hashes	2018-02-09 13:34:24 +01:00
Christian Helmuth	6013889028	depot: update recipe hashes	2018-01-17 12:14:44 +01:00
Christian Helmuth	553cf556af	depot: update recipe hashes	2017-12-21 15:01:56 +01:00
Christian Helmuth	25ca29002e	depot: update recipe hashes	2017-11-30 11:24:49 +01:00
Christian Helmuth	491be000ca	depot: update recipe hashes	2017-11-09 12:19:59 +01:00
Christian Helmuth	30948a4b0d	depot: update recipe hashes	2017-11-06 13:57:25 +01:00
Christian Helmuth	ee4ee6a8ac	depot: update recipe hashes	2017-10-19 13:31:18 +02:00
Christian Helmuth	2ed904faab	depot: update recipe hashes	2017-08-30 12:41:43 +02:00
Christian Helmuth	8b073f46df	depot: update recipe hashes	2017-08-18 10:25:28 +02:00
Norman Feske	0d1be4abe2	depot: update recipe hashes	2017-06-29 12:00:04 +02:00
Norman Feske	b58fbe5ba5	Depot-archive recipes ... Issue #2339	2017-05-31 13:15:56 +02:00