The hiptop did not use NetBSD until the very last model. It was a bare-metal RTOS prior to that.