I have a 2 million won budget for a laptop: what's better for development?

I'm already stuck on the Mac vs. Windows question. I just need whichever one runs Docker well.