[TBD]Process scheduling in android kernel