tree 8fd0175730404ebfcf5e4d25b2dfe7a65a329f64
parent 09136d8a74fb6e354dabf855ba233b42c6a2b67c
author Nick Vaccaro <nvaccaro@google.com> 1477102600 -0700
committer Nick Vaccaro <nvaccaro@google.com> 1477103945 -0700

healthd: allow override of wake interval timing

Devices can now override DEFAULT_PERIODIC_CHORES_INTERVAL_FAST
and DEFAULT_PERIODIC_CHORES_INTERVAL_SLOW by defining a value for
BOARD_PERIODIC_CHORES_INTERVAL_FAST and/or BOARD_PERIODIC_CHORES_INTERVAL_SLOW
in the device's BoardConfig.mk file.

Bug: 32162033
Change-Id: I956fd4760893ae6c2eb3a3af586353d4d66daf25