yann@861: # This file declares functions for bare metal kernel (IE. none)
yann@861: # Copyright 2008 Yann E. MORIN
yann@861: # Licensed under the GPL v2. See COPYING in the root of this package
yann@861: 
yann@965: CT_DoKernelTupleValues() {
yann@965:     # For bare-metal, there is no kernel part in the tuple
yann@965:     CT_TARGET_KERNEL=
yann@965: }
yann@965: 
yann@861: do_kernel_get() {
yann@861:     :
yann@861: }
yann@861: 
yann@861: do_kernel_extract() {
yann@861:     :
yann@861: }
yann@861: 
yann@861: do_kernel_headers() {
yann@861:     :
yann@861: }