* Use latest version of intel microcodes from their Linux drivers page for
[coreboot.git] / targets / dell /
drwxr-xr-x   ..
drwxr-xr-x - s1850