Talk:Redox (operating system)

Copyright problem removed
Prior content in this duplicated one or more previously published sources. Copied or closely paraphrased material has been rewritten or removed and must not be restored, unless it is duly released under a compatible license. (For more information, please see "using copyrighted works from others" if you are not the copyright holder of this material, or "donating copyrighted materials" if you are.)

For legal reasons, we cannot accept copyrighted text or images borrowed from other web sites or published material; such additions will be deleted. Contributors may use copyrighted publications as a source of information, and, if allowed under fair use, may copy sentences and phrases, provided they are included in quotation marks and referenced properly. The material may also be rewritten, providing it does not infringe on the copyright of the original or plagiarize from that source. Therefore, such paraphrased portions must provide their source. Please see our guideline on non-free text for how to properly implement limited quotations of copyrighted text. Wikipedia takes copyright violations very seriously, and persistent violators will be blocked from editing. While we appreciate contributions, we must require all contributors to understand and comply with these policies. Thank you. Bazj (talk) 17:23, 22 March 2016 (UTC)

Is it really a microkernel?
I'm not sure if it's a microkernel at the moment. The website says it *aims* to be a microkernel. The GitHub repository contains a directory called 'drivers', which contains only a few stubs. On the other hand, there's much more driver-related code under the directory 'kernel'. There's also a quote that may suggest it's not yet a microkernel: Redox has ~16,000 lines of kernel code. For comparison the Minix has ~6,000 lines of kernel code.

We would like to move parts of Redox to user space to get an even smaller kernel. Rzhikharevich (talk) 18:20, 16 July 2016 (UTC)

In the past months they rewrote the kernel and most of the drivers has been moved to the userspace. 94.21.141.62 (talk) 14:33, 24 October 2016 (UTC)

Confusion about name
Is the article subject called Redox or Redox OS? The GitHub repository points at the prior. 80.221.159.67 (talk) 08:24, 23 October 2016 (UTC)

Okay, the Infoworld article also tells me that this is called Redox. Requesting a move. 80.221.159.67 (talk) 08:30, 23 October 2016 (UTC)