tree ac1eae6575a680e14b4bebd59804d8001561e8c5
parent af2d23fa909202993bad85f50bc66de5a4f25bda
author Denton Gentry <dgentry@google.com> 1324407014 -0800
committer Denton Gentry <dgentry@google.com> 1324407014 -0800

Add ACTIVATED_KERNEL_NAME and EXTRA_KERNEL_OPT variables.

Change-Id: Iafc02eeaa6488cb8c44fec55b1363ced0b1973c4