Strengthening-PintOS