there are different types of licences for different puposes. If someone cares about its work und want as many as possible users to benefit for, the author chooses a copyleft licence. If the author wrote a tool for himself and he wants to make it public for other users and he doesn’t care what happens with its software and who uses it, he chooses a non-copyleft licence. Well, that’s at least my opinion and I read the opinion about the Redox authors about MIT and GPL, but if you look at real life, you’ll see for example, that Sony und Apple are using FreeBSD, but they are almost nothing giving back.
You will discourage many opensource developers with the MIT licence, because they know, that there are many companies which will take the software for granted, but nothing giving back. MIT requieres more moral from companies than GPL.
Now, where redox is still young, there is still the possibilty where you can change the licence. You can see with Linux in practice, that GPL works really fine and it has forced many companies to public their source code against their will.
If you really insist of non-copylef licence, consider at least Apache 2, see:
There is no good reason to choose MIT licence over Apache 2.
PS: You can ask youself if Linux and Android would have been that successfull without a copyleft licence.