tree 370765dd7aaa57557f2fbe31a6b001c7a6465d2e
parent 647f40e35b219146c854dc225b8a96f763312885
author Ke Dong <kedong@google.com> 1423704247 -0800
committer Ke Dong <kedong@google.com> 1423704635 -0800

Add new configuration parameter for spacecast.

A new config parameter CONFIG_GOOGLE_SPACECAST is added to track
spacecast specific customizations.

Change-Id: I047d00c6ad4ed5eb26d8904e411875de76bb3cb2