I've never designed an OS so I might be off base here.
If you are interested in OS design, I suggest taking a look at NetBSD. It is a full OS supporting a bunch of different platforms all in one source tree and not quite as complex as Linux while still supporting most software the works on Linux. It has a nice crosscompile system and "rump kernels" that allow large parts of the kernel to be run in userland for testing (I think GNU Hurd also uses this for some device support). I think it has had at least a couple hundred active volunteer developers at any particular time for about three decades now (vs 7 years with mostly one developer it looks like for Redox). It is really quite a lot of work. src/sys is the kernel and src/sys/arch has the platform specific code, such as:
https://nxr.netbsd.org/xref/src/sys/arch/amd64/
https://nxr.netbsd.org/xref/src/sys/arch/x86/
x86 has the generic x86 support shared between 32-bit and 64-bit systems while amd64 has the 64-bit specific stuff. The rest of the tree is relatively easy to understand as well (e.g. most devices are under src/sys/dev), although a few things are in less than optimal place due to NetBSD still using CVS (there are git and hg mirrors so no need to learn CVS). The tech-* mailing lists can have interesting discussions.
https://mail-index.netbsd.org/
For Linux, LWN is a great resource for learning about OS stuff with in depth summaries of disscusions on many topics as they come up:
It looks like Redox has a web forum, subreddit, and gitlab issues:
If never been good at C, but I'm enjoying reading though this