]> rtime.felk.cvut.cz Git - l4.git/commit
update: sync
authorl4check <l4check@d050ee49-bd90-4346-b210-929a50b99cfc>
Thu, 5 Aug 2010 13:00:49 +0000 (13:00 +0000)
committerl4check <l4check@d050ee49-bd90-4346-b210-929a50b99cfc>
Thu, 5 Aug 2010 13:00:49 +0000 (13:00 +0000)
commit3cf2009cb395a818cd2a30421cb9f91a30c07c13
tree9afb0b4f8e38a4aec705dcd28275443a68a13793
parent9c3d999035724ab999808a0ea02f6ebf9cd237d1
update: sync

git-svn-id: http://svn.tudos.org/repos/oc/tudos/trunk@14 d050ee49-bd90-4346-b210-929a50b99cfc
kernel/fiasco/src/kern/ia32/vm-svm.cpp [deleted file]