No support for kernel booting

This commit is contained in:
paul-naert 2018-05-22 17:53:14 -07:00 committed by GitHub
parent 095b950cfd
commit 8597b8247a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -168,4 +168,5 @@ The gclang build of the kernel adds llvm_bc headers to most files, and those mes
We need to have a separate folder built form clang or gcc on which to finish the kernel build and install.
Finally, calling the install-kernel script will copy the new kernel into the clang generated folder and finish the build and install. Rebooting will be on the bitcode kernel.
NB: The generated kernel boots properly but it may be buggy. Most notably, I have experienced issues when shutting down and booting the machine a second time.
NB: I can't seem to boot on the generated kernel via Vagrant.
NB: On a dedicated VirtualBox machine, the generated kernel boots properly but it may be buggy. Most notably, I have experienced issues when shutting down and booting the machine a second time.