Re: MacBook Air (7,2) has incorrect key mapping for tilde

[Mark Kettenis]

Does the same thing happen on the console?
What is the output of wsconsctl -a?