Updates Dockerfile for IncludeOS compiler to use latest release. Also updates docs (registration with the unik instance listener no longer has to be done by the developer. Just add PLATFORM=unik to your Makefile and the required code will be added transparently by the build system).
Updates Dockerfile for IncludeOS compiler to use latest release. Also updates docs (registration with the unik instance listener no longer has to be done by the developer. Just add
PLATFORM=unikto your Makefile and the required code will be added transparently by the build system).