vkernel64: Add bug workaround.
authorJordan Gordeev <jgordeev@dir.bg>
Thu, 7 Jan 2010 10:30:15 +0000 (12:30 +0200)
committerSascha Wildner <saw@online.de>
Sun, 21 Mar 2010 08:16:44 +0000 (09:16 +0100)
commitca97d438e6640391a77765bc202bd5d00498c0ea
treebe63ff681e5e2c5fd0ef15385ed9775d7a075f9a
parent61cddc1c77f7fc12b44097310dce73da184912fe
vkernel64: Add bug workaround.
sys/kern/init_main.c