##################################################
# (c) Amlal EL Mahrouss, all rights reserved.
# This is the microKernel makefile.
##################################################