config: Specify OS type and release on command line
authorChris Emmons <Chris.Emmons@arm.com>
Thu, 19 Mar 2015 08:06:14 +0000 (04:06 -0400)
committerChris Emmons <Chris.Emmons@arm.com>
Thu, 19 Mar 2015 08:06:14 +0000 (04:06 -0400)
commit142ab40c4b57315e20c924d0615470ee24f46d9e
treeea8fb6bcea5b95fbbef2ab28d5530843a8f36fb6
parent9b4d8030e6d106e8ddae7b9940fe8f07d2621660
config: Specify OS type and release on command line

This patch enables users to speficy --os-type on the command
line. This option is used to take specific actions for an OS type,
such as changing the kernel command line. This patch is part of the
Android KitKat enablement.
configs/common/Benchmarks.py
configs/common/FSConfig.py
configs/common/Options.py
configs/example/fs.py