Linux is clearly not public domain as it has a GPL license. And GPL heavily depends on copyright laws.