Sharing workspaces between operating systems