do_configure() {
	    echo "linux->do_configure: Nothing to do!!"
}

do_compile() {
	    echo "linux->do_compile: Nothing to do!!"
}

do_install() {
	    echo "linux->do_install: Nothing to do!!"
}
do_kernel_metadata() {
        echo "linux->do_kernel_metadata: Nothing to do!!"
}

do_kernel_configme() {
        echo "linux->do_kernel_configme: Nothing to do!!"
}

do_kernel_configcheck() {
	    echo "linux->do_kernel_configcheck: Nothing to do!!"
}

do_shared_workdir() {
	    echo "linux->do_shared_workdiri: Nothing to do!!"
}

do_kernel_link_images() {
        echo "linux->do_kernel_link_images: Nothing to do!!"
}

do_uboot_mkimage() {
        echo "linux->do_uboot_mkimage: Nothing to do!!"
}

do_package() {
        echo "linux->do_package: Nothing to do!!"
}

do_deploy() {
        echo "linux->do_deploy: Nothing to do!!"
}

do_package_write_deb() {
        echo "linux->do_package_write_deb: Nothing to do!!"
}
