I'd be interested in seeing whether different hardware paradigms lead to different OS paradigms. He says they're working on Linux for The Machine, but I wonder

I'd be interested in seeing whether different hardware paradigms lead to different OS paradigms. He says they're working on Linux for The Machine, but I wonder if that's their endgame or if it's just to have something to run on it for now. Any OS-dev people able to chime in on what they would do?