some utilities for android kernel development