What OS does the Batcomputer use?

I’m not sure if this is the best place to ask but it’s the first that came to mind. I’m thinking it’s probably something completly custom that Bruce made but I like thinking that Batman is a Linux user. specify Arch