LeaseOS is a lease-based, utilitarian resource management mechanism built on top of android-7.1.2. For more information on what LeaseOS is and what it can do, see our ASPLOS 2019 paper.