yann@850: # This file declares functions for bare metal kernel (IE. none)
yann@850: # Copyright 2008 Yann E. MORIN
yann@850: # Licensed under the GPL v2. See COPYING in the root of this package
yann@850: 
yann@850: do_print_filename() {
yann@850:     :
yann@850: }
yann@850: 
yann@850: do_kernel_get() {
yann@850:     :
yann@850: }
yann@850: 
yann@850: do_kernel_extract() {
yann@850:     :
yann@850: }
yann@850: 
yann@850: do_kernel_headers() {
yann@850:     :
yann@850: }