and since i can't edit, I'm running debian's 4.9.0-1 kernel at the moment, nothing special, no special options.
Also I boot OSX occasionally to check for firmware updates etc.
and since i can't edit, I'm running debian's 4.9.0-1 kernel at the moment, nothing special, no special options.
Also I boot OSX occasionally to check for firmware updates etc.