is there a public roadmap or major WIP sub-projects?

i remember seeing issues raised on github or elsewhere with concerns regarding the security aspects of either some of the kernel architecture or implementation. are you guys planning on having formal audits? and how likely is it that major parts would need to change and set the momentum back?

https://gitlab.redox-os.org/redox-os/redox/issues?scope=all&...

some of these are 2 years old :/

i know these are all pretty vague questions, but i'm interested to hear about them nevertheless.