 Ehmry -
|
aaa61aebd8
|
Tup refactor
|
2019-07-03 13:43:14 +02:00 |
|
Ehmry -
|
358a7389a3
|
Packaging cleanup
|
2019-05-25 15:10:35 +02:00 |
|
Ehmry -
|
7a583a4783
|
Simple missing blobs Report at blobsets_fs
|
2019-04-28 19:41:48 +02:00 |
|
Ehmry -
|
633edf7a51
|
Tup fix
|
2019-04-28 19:38:55 +02:00 |
|
Ehmry -
|
198e735686
|
FS: select root hash with root session argument
|
2019-04-27 17:44:27 +02:00 |
|
Ehmry -
|
957ac3e38c
|
Blob service runtime package
|
2019-04-17 10:29:56 +02:00 |
|
Ehmry -
|
0aab9f20dc
|
fixup! Build system cleanup
|
2019-04-03 21:29:13 +02:00 |
|
Ehmry -
|
e65dc07e48
|
Build system cleanup
|
2019-04-03 20:59:29 +02:00 |
|
Ehmry -
|
7cf7d48086
|
Workaround for shitty Genode clock
|
2019-03-30 15:37:54 +01:00 |
|
Ehmry -
|
49ca99b557
|
More futures
|
2019-03-18 22:50:00 +01:00 |
|
Ehmry -
|
40aa95952b
|
Use FutureStream for accessing all blobs in a set
|
2019-03-18 21:26:59 +01:00 |
|
Ehmry -
|
2ae7687403
|
applyAll
|
2019-03-16 18:24:31 +01:00 |
|
Ehmry -
|
7a3f231d0b
|
Add runtime metadata
|
2019-03-08 21:22:26 +01:00 |
|
Ehmry -
|
6e24f5fba0
|
Open random files at blobsets_fs with "/?"
|
2019-03-08 21:22:07 +01:00 |
|
Ehmry -
|
943ac2d6d6
|
Rearrange directories to make sense to Tup
|
2019-03-07 17:13:16 +01:00 |
|
Ehmry -
|
efc67ada42
|
Initial Tupfile
|
2019-02-26 11:15:11 +01:00 |
|
Ehmry -
|
100d44dfdd
|
Shuffle sources
|
2019-02-26 01:34:23 +01:00 |
|
Ehmry -
|
9bd6733f75
|
Do not throw exceptions during with_libc
|
2019-02-20 15:19:18 +01:00 |
|
Ehmry -
|
3da2accfd5
|
more async
|
2019-02-10 13:47:40 +01:00 |
|
Ehmry -
|
319432aad9
|
Genode File-system server
Repurpose the File_system server from Dagfs.
|
2019-01-27 22:26:32 +01:00 |
|
Ehmry -
|
a10a7a4e50
|
HTTP store server for Genode
|
2019-01-27 18:14:29 +01:00 |
|
Ehmry -
|
f01bf5083a
|
Functional inserts
|
2018-12-24 21:19:03 +01:00 |
|
Ehmry -
|
c6fcfecd1d
|
stuff from I don't know when
|
2018-12-12 17:56:44 +01:00 |
|
Ehmry -
|
3006147fa7
|
Fix Genode error propagation
|
2018-09-12 19:24:37 +02:00 |
|
Ehmry -
|
7af8971a0c
|
Genode components seem to work
|
2018-09-08 23:00:41 +02:00 |
|
Ehmry -
|
167d45f1e9
|
Genode fixes
|
2018-09-07 16:38:34 +02:00 |
|
Ehmry -
|
02c6fddad6
|
Fix REPL
|
2018-09-07 15:40:33 +02:00 |