##################################################
# (c) Amlal El Mahrouss, licensed under the Apache 2.0 license.
# This is the microKernel makefile.
##################################################