My son uses a Chromebook for homework and a Windows PC for games. I consider it a huge feature that they are separate devices. Much too tempting otherwise.
We're doing a similar thing but with a Raspberry Pi that I've stripped down so it runs nothing but a plain text editor. It's just what we had lying around when the issue came to a head. There was the temptation of the Web, but even the fonts and settings of a regular word processor were too distracting. He's happy with the solution. It's a little bit geeky and weird, which is an attraction for him.