configs: Do not require args.kernel to be set in baremetal.py
[gem5.git] / include /
drwxr-xr-x   ..
drwxr-xr-x - gem5