Puzzles and games: addressing different learning styles in teaching operating systems concepts