/*FIXME mybuild libarch is bad packet */
package embox.kernel

@Mandatory
module Kernel {
	option string log_level="LOG_INFO"

	source "init.c"

	depends embox.arch.libarch
	depends embox.arch.cpu
	depends embox.kernel.stack
	depends embox.kernel.kgdb_api
	depends embox.kernel.klog_api
	depends embox.init.system_abs_time_api
	depends embox.compat.libc.assert
	depends embox.init.system_start
	
	@NoRuntime depends platform.platform_init
}
