he's the guy that created the linux kernel