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
a8dd7dd2fa
Remove rump_fs server component
...
This patch replaces the use of the rump_fs server by the VFS server with
the Rump VFS plugin.
Issue #3512
2019-11-19 14:23:56 +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
2b183f9497
depot: update recipe hashes
2019-05-29 10:20:52 +02:00
8af81668ea
rump_fs: fix run time errors when built with GCC 8.3.0
...
Fixes #3360
2019-05-27 14:46:54 +02:00
ba51800b31
depot: update recipe hashes
2019-05-06 16:15:27 +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
ebe71a12ed
depot: update recipe hashes
2019-03-19 11:12:36 +01:00
36adbef3f9
depot: update recipe hashes
2019-02-28 11:34:45 +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
ed65267bc5
depot: update recipe hashes
2019-01-14 12:34:41 +01:00
21a61cd583
depot: update recipe hashes
2019-01-07 12:43:37 +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
5dcf06d208
depot: update recipe hashes
2018-09-13 15:21:26 +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
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
38abfc79f5
rump: reduce size of rump
...
* integrate rump's contrib code into Genode's build system and build what is
required by Genode, only
* checkout needed NetBSD sources directly from CVS
fixes #2589
2017-11-30 11:23:19 +01:00
8b05deba13
rump: remove .git directories from src recipe
...
This spares us about 200M but still leaves us with 600M.
2017-11-09 12:18:40 +01:00
a932fc2e5a
depot: recipe for rump/file_system
...
Ref #2446
2017-10-05 17:39:56 +02:00
Christian Helmuth
Norman Feske
Christian Prochaska
Sebastian Sumpf