Despite my complete lack of knowledge and very limited experience with OS development, I’m gonna take a stab at Redox on ARM thing.
The first thing I note is that, by reference, I only see the following modules (from arch) being used by the rest of the kernel. I need to know if this is accurate:
USER_GRANT_OFFSET (not sure what this is…)
goblin elf parsing?
My general idea is to write these objects up as rust trait’s, and try to implement the same functions as the x86 side. (I think traits will be a bit cleaner than the alternative, which is obviously no trait’s :).
A couple of questions:
Have I missed anything?
Is the rest of the x86 code used only by these objects, or is there some strange way to call this code from userspace?
Does all this extra x86 code need to be in a ‘pub use’ in the lib.rs file? Do we need ‘pub use acpi’ for example?
That’s great! Are you already aware of arch_arm? I don’t know the status of this, but it looks like it would be useful for you.
Also, I have been presenting the potential of Redox around in the context of IoT and feedback shows that there is interest, as a Redox-style OS would solve a number of IoT-related problems that Linux cannot solve. So I’m definitely interested in seeing how this progresses.
Is it working on rpi4? I’m new to Redox (and CS in general) and I just bought a raspberry 4. I thought instead of playing around in a VM, I could play around with it on hardware.
I’d be fine with just bare basics OS, with cargo and ssh working.