My mid 2012 air had trouble with os x about 10 years ago. I moved to nixos and haven't had any issues since.