I'd recommend the current maxed out mac air 11". It's very close in specs to what you're looking for, can run linux natively and has all the function keys you w

I'd recommend the current maxed out mac air 11". It's very close in specs to what you're looking for, can run linux natively and has all the function keys you want. Also: it runs macOS, which is really cool as an OS.