Notes on getting started with graphene OS for the security minded