search

unikernelLinux / ukl

Unikernel Linux
GNU Lesser General Public License v2.1
180 stars 16 forks source link

Fix documentation #1

Closed gjalves closed 5 years ago

gjalves commented 5 years ago

Just a small fix in the compilation process, as ukl.h cannot be found using the current documentation.

razaaliraza commented 5 years ago

Thank you for pointing this out. I fixed the Makefile and updatekernel script so that this problem does not occur. In the future, the readme/documentation needs to be simplified so it is better if we update the Makefile instead of changing the build instructions.