பிரிப்பு மையம் வெளியிடப்பட்டது (பிரிப்பு கர்னல்) Muen, ஒரு சுவிஸ் நிறுவனத்தால் உருவாக்கப்பட்டது கோட்லேப்கள்.
Muen Intel x86_64 இயங்குதளங்களை மட்டுமே ஆதரிக்கிறது மற்றும் OS கர்னல்கள் மற்றும் அதில் இயங்கும் பயன்பாடுகள் அவற்றின் ஒதுக்கப்பட்ட ஒதுக்கீட்டிற்கு அப்பால் ஆதாரங்களை அணுக முடியாது என்பதை உறுதி செய்கிறது. இது ரேம், CPU நேரம் மற்றும் I/O சாதனங்களுக்கான அணுகலுக்கு மற்றவற்றுடன் பொருந்தும்.
கர்னல் விருந்தினர் பயன்பாடுகளாக ஆதரிக்கப்படுகிறது. Linux, Ada/SPARK நிரல்கள், அத்துடன் Solo5 கட்டமைப்பைப் பயன்படுத்தி எழுதப்பட்ட நூலக இயக்க முறைமைகள் (எடுத்துக்காட்டாக, OCaml இல் MirageOS). Linux PCI மற்றும் பிற ஹோஸ்ட் வளங்களுக்கான அணுகலை விரைவுபடுத்துவதற்காக கெர்னல் டிரைவர்கள் வழங்கப்படுகின்றன.
அடா மொழியின் பாதுகாப்பான துணைக்குழுவான SPARK இல் Muen முற்றிலும் செயல்படுத்தப்படுகிறது, மேலும் இயக்க நேரப் பிழைகள் இல்லாதது என சரிபார்க்கப்பட்டது. குறியீடு GPLv3 உரிமத்தின் கீழ் விநியோகிக்கப்படுகிறது.
ஆதாரம்: linux.org.ru
