| #
7c48de6c |
| 21-Sep-2015 |
David van Moolenbroek <david@minix3.org> |
Resolve more warnings
Change-Id: Ibc1b7f7cd45ad7295285e59c6ce55888266fece8
|
| #
43065aa3 |
| 29-Oct-2014 |
Cristiano Giuffrida <giuffrida@cs.vu.nl> |
sef: Support for LLVM ltckpt instrumentation.
Change-Id: I86073bddc3a820ab3d7c5d016ea1348840b0260a
|
| #
2b641b28 |
| 18-Jul-2015 |
Cristiano Giuffrida <giuffrida@cs.vu.nl> |
ds: Add live update extensions.
Change-Id: I093c462ddad4a5e9b3dc39140f45f0e25e83bb55
|
|
Revision tags: v3.3.0 |
|
| #
5c8eb53d |
| 01-Mar-2014 |
Cristiano Giuffrida <giuffrida@cs.vu.nl> |
libsys: mark regions allocated for DMA as special
This ensures that they will not be relocated.
Edited by David van Moolenbroek.
Change-Id: Ic2a97bc65b94dfcf364c06577aa340a9a5299e74
|
| #
162b8995 |
| 29-Oct-2014 |
Cristiano Giuffrida <giuffrida@cs.vu.nl> |
vm: Let SEF know about special mmapped regions.
Change-Id: I742529a6747ddd181937aa1a45264b87677c01c8
|
| #
d196e2c3 |
| 30-Sep-2014 |
Cristiano Giuffrida <giuffrida@cs.vu.nl> |
sef: Extensions for new RS.
Change-Id: I89b6f8015b1f9c46bf98694450bdaa80b7777940
|