#!/bin/bash
#
# Kernel make
#
ARCH=x86_64 make -j3 CC=amd64-linux-gcc LD=amd64-linux-ld AR=amd64-linux-ar NM=amd64-linux-nm OBJCOPY=amd64-linux-objcopy OBJDUMP=amd64-linux-objdump $*
