Muen SK 1.1.0

വേർതിരിക്കൽ കോർ റിലീസ് ചെയ്തു (വേർതിരിക്കൽ കേർണൽ) Muen, ഒരു സ്വിസ് കമ്പനി വികസിപ്പിച്ചെടുത്തു കോഡ്‌ലാബുകൾ.

Muen Intel x86_64 പ്ലാറ്റ്‌ഫോമുകളെ മാത്രമേ പിന്തുണയ്‌ക്കൂ, കൂടാതെ OS കേർണലുകൾക്കും അതിൽ പ്രവർത്തിക്കുന്ന ആപ്ലിക്കേഷനുകൾക്കും അനുവദിച്ചിരിക്കുന്ന ക്വാട്ടയ്‌ക്കപ്പുറം ഉറവിടങ്ങൾ ആക്‌സസ് ചെയ്യാൻ കഴിയില്ലെന്ന് ഉറപ്പാക്കുന്നു. റാം, സിപിയു സമയം, ഐ/ഒ ഉപകരണങ്ങളിലേക്കുള്ള ആക്‌സസ് എന്നിവയ്‌ക്ക് ഇത് ബാധകമാണ്.

Linux കേർണൽ, Ada/SPARK പ്രോഗ്രാമുകൾ, അതുപോലെ Solo5 ഫ്രെയിംവർക്ക് (ഉദാഹരണത്തിന്, OCaml-ലെ MirageOS) ഉപയോഗിച്ച് എഴുതിയ ലൈബ്രറി OS-കൾ എന്നിവ ഗസ്റ്റ് ആപ്ലിക്കേഷനുകളായി പിന്തുണയ്ക്കുന്നു. പിസിഐയിലേക്കും മറ്റ് ഹോസ്റ്റ് ഉറവിടങ്ങളിലേക്കും പ്രവേശനം വേഗത്തിലാക്കാൻ ലിനക്സിനായി കേർണൽ ഡ്രൈവറുകൾ നൽകിയിട്ടുണ്ട്.

Muen തന്നെ പൂർണ്ണമായും Ada ഭാഷയുടെ ഒരു സുരക്ഷിത ഉപവിഭാഗമായ SPARK-ൽ നടപ്പിലാക്കിയിട്ടുണ്ട്, കൂടാതെ റൺടൈം പിശകുകളൊന്നുമില്ലെന്ന് സ്ഥിരീകരിച്ചു. GPLv3 ലൈസൻസിന് കീഴിലാണ് കോഡ് വിതരണം ചെയ്യുന്നത്.

അവലംബം: linux.org.ru