]> Zhao Yanbai Git Server - minix.git/commit
ds: Add live update extensions. 07/3107/1
authorCristiano Giuffrida <giuffrida@cs.vu.nl>
Sat, 18 Jul 2015 10:08:15 +0000 (12:08 +0200)
committerDavid van Moolenbroek <david@minix3.org>
Thu, 17 Sep 2015 13:26:09 +0000 (13:26 +0000)
commit2b641b28b1df72c38846971a93992c328388762b
treeed76a66eb3627daf4442bd58270fd39a1672fc6a
parent50b7f13f9fbd498540451ca8c6411c6a364ce95c
ds: Add live update extensions.

Change-Id: I093c462ddad4a5e9b3dc39140f45f0e25e83bb55
minix/include/minix/sef.h
minix/lib/libsys/sef_llvm.c
minix/servers/ds/main.c