# -*- mode: python; coding: utf-8; -*-
#
#  Codezero -- a microkernel for embedded systems.
#
#  Copyright © 2009  B Labs Ltd
#
import os
import configure

if 'configure' in COMMAND_LINE_TARGETS:
	cml2_configure("configs/arm.cml")