You’re definitely right there should be distinction. I think “baremetal OS” is the term some people would use.