Searched refs:default_kernel (Results 1 - 1 of 1) sorted by relevance

/gem5/configs/example/arm/
H A Dstarter_fs.py66 default_kernel = 'vmlinux.vexpress_gem5_v1_64.' + default_dist_version variable
203 parser.add_argument("--kernel", type=str, default=default_kernel,

Completed in 9 milliseconds