Searched defs: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

Completed in 4 milliseconds