Currently, we are using a mix of different TODO styles. We should streamline this. My recommendation would be to follow the advice of the OpenTitan C style guide.