今は国内の大学では余程拘り無い限りカーネルやシステムコールもLinuxで教えてるでしょ