##################################################
# (C) ZKA Technologies, all rights reserved.
# This is the microkernel makefile.
##################################################