ردوکس (سیستم عامل)
From Wikipedia, the free encyclopedia
ردوکس یک سیستم عامل میکروکرنل شبه یونیکس است که با زبان برنامهنویسی راست نوشته شده و بر ایمنی، پایداری و عملکرد تمرکز دارد.[4][5][6] هدف ردوکس امن، قابل استفاده و رایگان بودن است و از هستهها و سیستم عاملهای قبلی مانند SeL4، مینیکس، پلان ۹ و بیاسدی الهام گرفته شدهاست. این سیستم عامل شبیه به گنو و بیاسدی است، اما به زبان مناسب برای حافظه نوشته شدهاست.[7] این نرمافزار منبع بازو رایگان است که تحت مجوز امآیتی منتشر شدهاست.
اطلاعات اجمالی توسعهدهنده, نوشته شده به زبان ...
توسعهدهنده | جرمی سولر، توسعهدهندههای ردوکس[1] |
---|---|
نوشته شده به زبان | راست، اسمبلی |
خانواده | شبهیونیکس |
وضعیت توسعه | جاری |
مدل منبع | نرمافزار آزاد |
تاریخ اولین انتشار | ۲۰ آوریل ۲۰۱۵؛ ۹ سال پیش (۲۰۱۵-20}}) |
انتشار آزمایشی | 0.7.0 ۲۸ آوریل ۲۰۲۲؛ ۲ سال پیش (۲۰۲۲-28}}) |
مخزن | |
بازار هدف | رایانه رومیزی، ایستگاه کار، سرور |
زبان (های) در دسترس | انگلیسی |
مدیر بسته | pkgutils |
بنسازه رایانش | X86-64; معماری آرم in development[2] |
گونه هسته | ریزهسته |
فضای کاربری | سفارشی |
تأثیر گرفته از | پازیکس[3] |
پیش فرض واسط کاربر | واسط خط فرمان، Orbital |
پروانه | پروانه امآیتی |
وبگاه رسمی |
بستن
ردوکس نام خود را از واکنشهای اکسایش-کاهش در شیمی گرفتهاست. یکی از واکنشهای ردوکس، خوردگی آهن است که زنگ نیز نامیده میشود.