Learning the instructions used by Linux