Question: Which kernel is named after Linux?
Paraphrase: Which part is named after Linux?
SPARQL (Wikidata):  select distinct ?obj where { wd:Q388 wdt:P138 ?obj . ?obj wdt:P31 wd:Q9662 } 
Answer: Linux kernel