added command line argument for choosing kernel type