/ro/Recent content on Erik InkinenHugo -- gohugo.io&copy; Erik InkinenThu, 16 Apr 2026 00:00:00 +0000/ro/posts/erix-article-2/Thu, 16 Apr 2026 00:00:00 +0000/ro/posts/erix-article-2/Sistemele de operare moderne impun granițe de securitate între procese, fișiere, dispozitive și utilizatori. Totuși, modul în care aceste granițe sunt implementate variază semnificativ între diferite modele de sistem. Majoritatea sistemelor de operare obișnuite se bazează pe controlul accesului bazat pe identitate și pe spații de nume globale. Sistemele de operare bazate pe capabilități adoptă o abordare fundamental diferită: reprezintă autoritatea în mod explicit și o tratează ca pe un concept de prim rang.<p>Sistemele de operare moderne impun granițe de securitate între procese, fișiere, dispozitive și utilizatori. Totuși, modul în care aceste granițe sunt implementate variază semnificativ între diferite modele de sistem.</p> <p>Majoritatea sistemelor de operare obișnuite se bazează pe <strong>controlul accesului bazat pe identitate</strong> și pe <strong>spații de nume globale</strong>. Sistemele de operare bazate pe capabilități adoptă o abordare fundamental diferită: reprezintă autoritatea în mod explicit și o tratează ca pe un concept de prim rang.</p> <p>Această postare introduce sistemele bazate pe capabilități, explică în ce se deosebesc de modelele tradiționale și arată de ce sunt centrale pentru designul EriX.</p> <hr> <h2 id="problema-autoritatea-ambientală">Problema: autoritatea ambientală</h2> <p>În sistemele tradiționale, procesele au adesea acces la resurse prin <strong>autoritate ambientală</strong>.</p> <p>Autoritatea ambientală înseamnă că un program poate accesa o resursă doar pentru că aceasta există într-un spațiu de nume partajat și sistemul decide că programul are permisiunea de a o folosi.</p> <p>De exemplu:</p> <ul> <li>Un proces poate deschide <code>/etc/passwd</code> dacă are permisiuni suficiente.</li> <li>Un program se poate conecta la un socket de rețea dacă sistemul de operare îi permite.</li> <li>Un serviciu poate accesa fișiere în funcție de identitatea utilizatorului sau de apartenența la grup.</li> </ul> <p>În toate aceste cazuri, autoritatea de a accesa resursa este <strong>implicită</strong>.</p> <p>Procesul nu deține o referință directă și explicită la resursă. În schimb, se bazează pe:</p> <ul> <li>nume globale (căi de fișiere, porturi, identificatori de dispozitive)</li> <li>verificări de acces (ID-uri de utilizator, permisiuni, ACL-uri)</li> </ul> <p>Acest model creează mai multe probleme:</p> <h3 id="1-problema-delegatului-confuz">1. Problema delegatului confuz</h3> <p>Un program își poate folosi accidental autoritatea în mod greșit în numele altui program.</p> <p>De exemplu, un serviciu privilegiat ar putea citi un fișier cerut de un client nesigur, chiar dacă acel client nu ar trebui să aibă acces la fișier.</p> <h3 id="2-autoritate-prea-largă">2. Autoritate prea largă</h3> <p>Programele rulează adesea cu mai multe permisiuni decât au nevoie în realitate. Acest lucru mărește impactul erorilor sau al compromiterilor de securitate.</p> <h3 id="3-analiză-dificilă">3. Analiză dificilă</h3> <p>Este greu de determinat ce are voie să facă un proces fără să analizezi starea globală, identitățile utilizatorilor și politicile de control al accesului.</p> <hr> <h2 id="ideea-centrală-capabilitățile">Ideea centrală: capabilitățile</h2> <p>O <strong>capabilitate</strong> este un token nefalsificabil care oferă acces la un obiect specific, cu drepturi specifice.</p> <p>În loc să întrebe:</p> <blockquote> <p>&ldquo;Are acest proces permisiunea să acceseze această resursă?&rdquo;</p> </blockquote> <p>un sistem bazat pe capabilități întreabă:</p> <blockquote> <p>&ldquo;Deține acest proces o capabilitate care autorizează această operație?&rdquo;</p> </blockquote> <p>Dacă răspunsul este nu, operația nu poate continua.</p> <hr> <h2 id="proprietățile-capabilităților">Proprietățile capabilităților</h2> <p>Capabilitățile au mai multe proprietăți definitorii:</p> <h3 id="1-nefalsificabilitate">1. Nefalsificabilitate</h3> <p>Un proces nu poate crea o capabilitate validă din nimic.</p> <p>Capabilitățile sunt create și gestionate de nucleu, ceea ce garantează că nu pot fi falsificate sau ghicite.</p> <hr> <h3 id="2-autoritate-explicită">2. Autoritate explicită</h3> <p>Toată autoritatea este reprezentată explicit prin capabilități.</p> <p>Dacă un proces poate executa o operație, trebuie să dețină o capabilitate care permite acea operație. Nu există acces implicit prin spații de nume globale.</p> <hr> <h3 id="3-drepturi-granulare">3. Drepturi granulare</h3> <p>Capabilitățile pot codifica permisiuni specifice, precum:</p> <ul> <li>acces doar pentru citire</li> <li>acces pentru scriere</li> <li>permisiuni de execuție</li> <li>subseturi limitate de operații</li> </ul> <p>Acest lucru permite control precis asupra a ceea ce poate face fiecare proces.</p> <hr> <h3 id="4-transferabilitate">4. Transferabilitate</h3> <p>Capabilitățile pot fi transferate între procese, de obicei prin <strong>comunicare inter-proces (IPC)</strong>.</p> <p>Acest lucru permite delegarea controlată a autorității.</p> <hr> <h2 id="obiecte-și-capabilități">Obiecte și capabilități</h2> <p>Într-un sistem bazat pe capabilități, totul este modelat ca un <strong>obiect</strong>:</p> <ul> <li>regiuni de memorie</li> <li>fișiere</li> <li>dispozitive</li> <li>endpoint-uri IPC</li> <li>procese</li> </ul> <p>O capabilitate este o referință la un obiect combinată cu un set de drepturi.</p> <p>Un proces interacționează cu sistemul invocând operații asupra obiectelor prin intermediul capabilităților sale.</p> <p>Nu este nevoie de nume globale precum căi de fișiere sau identificatori de dispozitive în interiorul nucleului. Orice acces este mediat prin capabilități.</p> <hr> <h2 id="cum-funcționează-sistemele-bazate-pe-capabilități">Cum funcționează sistemele bazate pe capabilități</h2> <p>La nivel înalt, un sistem bazat pe capabilități funcționează astfel:</p> <ol> <li>Nucleul creează obiecte și capabilități.</li> <li>Fiecare proces are un <strong>spațiu de capabilități</strong> (adesea numit <em>CSpace</em>), care își stochează capabilitățile.</li> <li>Un proces poate opera doar asupra obiectelor pentru care deține capabilități.</li> <li>Capabilitățile pot fi transferate între procese prin IPC.</li> <li>Nucleul aplică toate verificările de capabilități.</li> </ol> <p>Rezultatul este un sistem în care autoritatea este:</p> <ul> <li>explicită</li> <li>localizată</li> <li>transferabilă</li> <li>ușor de analizat</li> </ul> <hr> <h2 id="exemplu-deschiderea-unui-fișier">Exemplu: deschiderea unui fișier</h2> <h3 id="modelul-tradițional">Modelul tradițional</h3> <p>Într-un sistem tradițional:</p> <ol> <li>Un proces apelează <code>open(&quot;/etc/config&quot;)</code></li> <li>Nucleul verifică permisiunile: <ul> <li>ID-ul utilizatorului</li> <li>apartenența la grup</li> <li>biții de mod ai fișierului</li> </ul> </li> <li>Dacă accesul este permis, este returnat un descriptor de fișier</li> </ol> <p>Autoritatea vine din <strong>stare globală și identitate</strong>.</p> <hr> <h3 id="modelul-bazat-pe-capabilități">Modelul bazat pe capabilități</h3> <p>Într-un sistem bazat pe capabilități:</p> <ol> <li>Un proces trebuie să dețină deja o <strong>capabilitate de fișier</strong></li> <li>Folosește acea capabilitate pentru a executa operații de citire sau scriere</li> </ol> <p>Dacă procesul nu are capabilitatea, nu poate accesa fișierul indiferent ce nume folosește.</p> <p>Nu există niciun pas de căutare globală în interiorul nucleului.</p> <hr> <h2 id="delegare-și-privilegiu-minim">Delegare și privilegiu minim</h2> <p>Unul dintre cele mai puternice aspecte ale sistemelor bazate pe capabilități este <strong>delegarea</strong>.</p> <p>Un proces poate da altui proces un subset din autoritatea sa transferându-i o capabilitate.</p> <p>De exemplu:</p> <ul> <li>Un server de fișiere oferă unui client acces doar pentru citire la un fișier</li> <li>Un manager de memorie acordă acces la o regiune de memorie specifică</li> <li>Un proces acordă acces la un endpoint IPC</li> </ul> <p>Acest lucru permite <strong>principiul privilegiului minim</strong>:</p> <blockquote> <p>Fiecare componentă primește doar autoritatea de care are efectiv nevoie.</p> </blockquote> <hr> <h2 id="eliminarea-autorității-ambientale">Eliminarea autorității ambientale</h2> <p>Sistemele bazate pe capabilități elimină complet autoritatea ambientală.</p> <p>Nu există:</p> <ul> <li>spații de nume globale în interiorul nucleului</li> <li>acces implicit bazat pe identitate</li> <li>privilegii ascunse</li> </ul> <p>Toată autoritatea trebuie transmisă explicit.</p> <p>Acest lucru face mult mai ușoară analiza:</p> <ul> <li>a ceea ce poate face un proces</li> <li>a modului în care autoritatea circulă prin sistem</li> <li>a locurilor în care pot apărea probleme potențiale de securitate</li> </ul> <hr> <h2 id="revocarea-o-problemă-dificilă">Revocarea (o problemă dificilă)</h2> <p>Una dintre provocările sistemelor bazate pe capabilități este <strong>revocarea</strong>.</p> <p>După ce o capabilitate este dată unui proces, cum poate fi retrasă?</p> <p>Sisteme diferite implementează revocarea în moduri diferite:</p> <ul> <li>straturi de indirecție</li> <li>urmărirea referințelor</li> <li>arbori de capabilități</li> <li>mecanisme de versionare</li> </ul> <p>Revocarea este o zonă importantă de cercetare și va fi explorată în etapele ulterioare ale EriX.</p> <hr> <h2 id="sistemele-bazate-pe-capabilități-în-practică">Sistemele bazate pe capabilități în practică</h2> <p>Ideile bazate pe capabilități nu sunt noi. Mai multe sisteme le-au implementat:</p> <ul> <li>KeyKOS / EROS</li> <li>seL4 (un micronucleu verificat formal)</li> <li>CHERI (capabilități asistate de hardware)</li> <li>Capsicum (extensii de capabilități pentru FreeBSD)</li> </ul> <p>Aceste sisteme demonstrează că proiectele bazate pe capabilități sunt atât practice, cât și puternice.</p> <hr> <h2 id="cum-folosește-erix-capabilitățile">Cum folosește EriX capabilitățile</h2> <p>EriX este proiectat de la început ca un <strong>sistem bazat pe capabilități</strong>.</p> <p>În EriX:</p> <ul> <li>toată autoritatea este reprezentată prin capabilități</li> <li>capabilitățile sunt puternic tipizate</li> <li>capabilitățile sunt imuabile după creare</li> <li>capabilitățile sunt transferate prin IPC</li> <li>nucleul aplică nefalsificabilitatea și invariantele de siguranță</li> </ul> <p>Nu există spații de nume globale în interiorul nucleului. Orice acces la resurse este mediat prin capabilități.</p> <p>Acest lucru se aliniază cu obiectivul mai larg de a face autoritatea:</p> <ul> <li>explicită</li> <li>minimă</li> <li>ușor de analizat</li> </ul> <hr> <h2 id="de-ce-contează-asta">De ce contează asta</h2> <p>Sistemele bazate pe capabilități oferă o bază pentru construirea:</p> <ul> <li>unor sisteme mai sigure</li> <li>unor arhitecturi mai modulare</li> <li>unor sisteme mai ușor de analizat și verificat</li> </ul> <p>Prin eliminarea autorității implicite și făcând explicit orice acces, ele elimină clase întregi de vulnerabilități care sunt comune în sistemele tradiționale.</p> <hr> <h2 id="ce-urmează">Ce urmează</h2> <p>Capabilitățile sunt un concept fundamental în EriX. În postările viitoare vom explora cum sunt implementate în practică, inclusiv:</p> <ul> <li>spații de capabilități (CSpace)</li> <li>comunicare inter-proces (IPC)</li> <li>gestionarea memoriei folosind capabilități netipizate</li> <li>delegare și grafuri de autoritate</li> </ul> <p>Înțelegerea capabilităților este primul pas spre înțelegerea restului sistemului.</p>/ro/posts/erix-article-1/Wed, 11 Mar 2026 00:00:00 +0000/ro/posts/erix-article-1/Sistemele de operare sunt printre cele mai complexe componente informatice construite vreodată. Ele gestionează memoria, planifică execuția, controlează echipamentul și aplică granițele de securitate care protejează fiecare aplicație ce rulează pe o mașină. Totuși, multe dintre sistemele de operare pe care ne bazăm astăzi sunt construite pe idei arhitecturale vechi de câteva decenii. Deși aceste sisteme sunt extraordinar de puternice și testate în practică, ele poartă și decenii de complexitate acumulată.<p>Sistemele de operare sunt printre cele mai complexe componente informatice construite vreodată. Ele gestionează memoria, planifică execuția, controlează echipamentul și aplică granițele de securitate care protejează fiecare aplicație ce rulează pe o mașină.</p> <p>Totuși, multe dintre sistemele de operare pe care ne bazăm astăzi sunt construite pe idei arhitecturale vechi de câteva decenii. Deși aceste sisteme sunt extraordinar de puternice și testate în practică, ele poartă și decenii de complexitate acumulată.</p> <p>Acest proiect explorează o direcție diferită: construirea <strong>unui sistem de operare modern, cu micronucleu bazat pe capabilități, de la zero</strong>, cu accent puternic pe autoritate explicită, bază de calcul de încredere (TCB) minimă și separare strictă între nucleu și spațiul utilizator.</p> <p>Acest sistem de operare se numește <a href="https://git.erikinkinen.fi/erix"><strong>EriX</strong></a>.</p> <hr> <h2 id="de-ce-să-construiești-încă-un-sistem-de-operare">De ce să construiești încă un sistem de operare?</h2> <p>La prima vedere, construirea unui nou sistem de operare pare inutilă. Sisteme mature precum Linux, Windows și BSD există deja și rulează pe miliarde de dispozitive.</p> <p>Totuși, aceste sisteme au evoluat sub constrângeri istorice. În timp, au acumulat straturi de abstracții, mecanisme de compatibilitate și interfețe moștenite. Deși aceste elemente sunt adesea necesare în programele real, ele fac și mai dificilă experimentarea unor idei arhitecturale fundamental diferite.</p> <p>Sistemele de operare de cercetare au explorat de mult timp abordări alternative ale proiectării sistemelor de operare. Micronucleele, sistemele bazate pe capabilități și nucleele verificate formal au demonstrat că este posibil să construiești sisteme mai mici, mai sigure și mai ușor de analizat.</p> <p>Scopul EriX nu este să înlocuiască sistemele de operare existente. Mai degrabă, este o explorare a modului în care ar putea fi proiectat un sistem de operare modern dacă pornim de la prime principii.</p> <hr> <h2 id="micronucleele-și-baza-de-calcul-de-încredere">Micronucleele și baza de calcul de încredere</h2> <p>Una dintre ideile centrale din spatele EriX este <strong>arhitectura de micronucleu</strong>.</p> <p>Nucleele monolitice tradiționale includ multe servicii direct în nucleu. Acestea includ adesea:</p> <ul> <li>controlere de dispozitiv</li> <li>sisteme de fișiere</li> <li>stive de rețea</li> <li>subsisteme de management al proceselor</li> </ul> <p>Deși această abordare poate fi eficientă, ea mărește și dimensiunea <strong>bazei de calcul de încredere (TCB)</strong>. TCB include fiecare componentă de cod care trebuie să se comporte corect pentru ca sistemul să rămână sigur și fiabil.</p> <p>Micronucleele adoptă o abordare diferită.</p> <p>Un micronucleu păstrează în nucleu doar mecanismele cele mai fundamentale, în mod tipic:</p> <ul> <li>planificarea firelor de execuție</li> <li>gestionarea spațiului de adrese</li> <li>comunicarea inter-proces (IPC)</li> <li>gestionarea capabilităților</li> <li>tratarea întreruperilor și excepțiilor</li> </ul> <p>Tot restul rulează în <strong>spațiul utilizator</strong>, inclusiv controlere, sisteme de fișiere și servicii de nivel mai înalt.</p> <p>Această proiectare reduce drastic cantitatea de cod în care trebuie să avem încredere. Defectele în componentele din spațiul utilizator au șanse mai mici să compromită întregul sistem, iar componentele individuale pot fi repornite sau înlocuite fără a opri nucleul.</p> <hr> <h2 id="securitate-bazată-pe-capabilități">Securitate bazată pe capabilități</h2> <p>Un alt principiu central de proiectare al EriX este <strong>securitatea bazată pe capabilități</strong>.</p> <p>Majoritatea sistemelor de operare se bazează puternic pe <strong>autoritate ambientală</strong>. În aceste sisteme, procesele au adesea acces implicit la resurse pe baza spațiilor de nume globale, a identităților de utilizator sau a privilegiilor moștenite.</p> <p>De exemplu, un proces poate deschide un fișier doar pentru că îi cunoaște calea, iar sistemul de operare decide că procesul are permisiunea necesară.</p> <p>Sistemele cu capabilități adoptă o abordare diferită.</p> <p>O <strong>capabilitate</strong> este un token nefalsificabil care oferă acces la un obiect specific, cu drepturi specifice. Un proces poate accesa un obiect doar dacă posedă o capabilitate care autorizează acel acces.</p> <p>Capabilitățile au mai multe proprietăți importante:</p> <ul> <li>Reprezintă autoritatea în mod explicit.</li> <li>Pot fi transferate între procese.</li> <li>Pot restricționa operațiile la un set precis de drepturi.</li> </ul> <p>Într-un sistem bazat pe capabilități, autoritatea circulă prin transferuri explicite, nu prin spații de nume globale. Acest lucru face sistemul mai ușor de analizat și ajută la eliminarea unor clase întregi de vulnerabilități de securitate.</p> <hr> <h2 id="de-ce-rust">De ce Rust?</h2> <p>Sistemele de operare sunt scrise tradițional în C sau assembly. Aceste limbaje oferă control precis asupra echipamentului și memoriei, dar fac și ușoară introducerea unor bug-uri subtile.</p> <p>Bug-urile de siguranță a memoriei, cum ar fi utilizare după eliberare, depășirile de tampon și cursele de date, au fost istoric una dintre cele mai mari surse de vulnerabilități în programele de sistem.</p> <p>EriX este scris în principal în <strong>Rust</strong>.</p> <p>Rust oferă garanții puternice privind siguranța memoriei, permițând în același timp control de nivel jos asupra echipamentului. Modelul de proprietate al limbajului ajută la prevenirea multor clase de bug-uri la compilare, în timp ce blocurile <code>unsafe</code> explicite fac operațiile potențial periculoase vizibile și auditabile.</p> <p>Folosirea Rust nu elimină toate erorile posibile, dar ridică semnificativ nivelul minim de siguranță în programarea de sistem.</p> <hr> <h2 id="un-sistem-de-operare-de-tip-cameră-curată">Un sistem de operare de tip cameră curată</h2> <p>Un aspect neobișnuit al proiectului EriX este abordarea sa de <strong>dezvoltare în cameră curată</strong>.</p> <p>Toate componentele sistemului sunt implementate în interiorul proiectului. Nu este copiat sau incorporat cod sursă extern și nu sunt folosite biblioteci de terță parte.</p> <p>Această constrângere are mai multe scopuri:</p> <ul> <li>Asigură că întregul sistem poate fi înțeles și auditat.</li> <li>Evită dependențele ascunse și comportamentele neașteptate.</li> <li>Forțează deciziile arhitecturale să fie explicite, nu moștenite.</li> </ul> <p>Dezvoltarea în cameră curată transformă proiectul și într-un exercițiu educațional. Fiecare subsistem, de la încărcător de pornire la managerul de memorie, trebuie proiectat și implementat deliberat.</p> <hr> <h2 id="un-obiectiv-pe-termen-lung-auto-găzduire">Un obiectiv pe termen lung: auto-găzduire</h2> <p>Unul dintre obiectivele pe termen lung ale EriX este <strong>auto-găzduire</strong>.</p> <p>Un sistem este considerat auto-găzduit atunci când își poate construi propriul cod sursă folosind unelte care rulează pe sistemul însuși.</p> <p>Pentru EriX, acest lucru înseamnă că, în cele din urmă:</p> <ul> <li>compilatorul Rust rulează pe EriX</li> <li>uneltele de compilare rulează pe EriX</li> <li>întregul sistem de operare poate fi compilat nativ în EriX</li> </ul> <p>Atingerea acestui prag necesită implementarea multor straturi de infrastructură, inclusiv sisteme de fișiere, management de procese și un mediu în spațiul utilizator compatibil POSIX.</p> <hr> <h2 id="de-ce-să-documentezi-parcursul">De ce să documentezi parcursul?</h2> <p>Construirea unui sistem de operare este un proces lung și complex. Multe dintre perspectivele cele mai interesante nu apar în sistemul final, ci în deciziile, compromisurile și greșelile întâlnite pe parcurs.</p> <p>Acest blog documentează dezvoltarea EriX pe măsură ce evoluează. Postările viitoare vor acoperi subiecte precum:</p> <ul> <li>proiectarea unui format de imagine de pornire</li> <li>implementarea spațiilor de capabilități</li> <li>construirea unui sistem IPC</li> <li>gestionarea autorității asupra memoriei</li> <li>construirea serverelor din spațiul utilizator</li> </ul> <p>Scopul este de a face procesul de dezvoltare transparent și educațional.</p> <hr> <h2 id="privind-înainte">Privind înainte</h2> <p>EriX este încă într-o fază timpurie. O mare parte din sistem rămâne de construit, iar multe decizii de proiectare vor evolua fără îndoială în timp.</p> <p>Dar principiile directoare sunt deja clare:</p> <ul> <li>nucleu minim</li> <li>autoritate explicită</li> <li>securitate bazată pe capabilități</li> <li>modularitate strictă</li> <li>implementare în cameră curată</li> </ul> <p>În următoarea postare vom explora una dintre ideile de bază ale sistemului:</p> <p><strong>ce sunt sistemele de operare bazate pe capabilități și de ce contează.</strong></p>/ro/about/Mon, 01 Jan 0001 00:00:00 +0000/ro/about/Studiez tehnologia informației la Universitatea din Tampere. În timpul liber contribui la software liber și open source, distribuții software și proiecte de sisteme bazate pe capabilități, precum EriX Project, AES, Cutie Shell Project și Droidian GNU/Linux. Am folosit numeroase limbaje de programare. De exemplu, C, C++, Python, JavaScript și Rust îmi sunt familiare prin muncă practică. Am, de asemenea, experiență cu limbaje de marcare uzuale, precum HTML și QML. În plus, am utilizat framework-uri software cunoscute, inclusiv Qt Framework.<p>Studiez tehnologia informației la <a href="https://tuni.fi">Universitatea din Tampere</a>. În timpul liber contribui la software liber și open source, distribuții software și proiecte de sisteme bazate pe capabilități, precum EriX Project, AES, Cutie Shell Project și Droidian GNU/Linux.</p> <p>Am folosit numeroase limbaje de programare. De exemplu, C, C++, Python, JavaScript și Rust îmi sunt familiare prin muncă practică. Am, de asemenea, experiență cu limbaje de marcare uzuale, precum HTML și QML. În plus, am utilizat framework-uri software cunoscute, inclusiv Qt Framework.</p> <p>În plus, am contribuit la biblioteci software și am scris documentație de referință pentru ele. Munca mea în aceste proiecte include atât lucru în echipă cu alți contributori, cât și cercetare și implementare independentă.</p> <p>Am experiență în metodologia DevOps, care pune accent pe integrarea și automatizarea diferitelor procese de dezvoltare și livrare software. Atât în Droidian, cât și în Cutie Shell Project, patch-urile sunt integrate în ramura principală cât mai curând posibil. Adăugările de funcționalități mai mari sunt dezvoltate inițial pe ramuri de funcționalitate. Totuși, toate ramurile de funcționalitate aflate în lucru sunt rebase-uite frecvent pe ramura principală, astfel încât fuziunea lor să poată fi făcută în orice moment. Atât ramura principală, cât și ramurile de funcționalitate sunt construite și împachetate după fiecare commit. Pe lângă repository-ul de producție, există repository-ul de staging și repository-uri de funcționalitate corespunzătoare fiecărei ramuri de funcționalitate. Aceste repository-uri de pachete sunt folosite pentru a automatiza ușor crearea unui mediu de testare.</p> <p>Sunt interesat și de limbile naturale și de învățarea lor. În consecință, vorbesc mai multe limbi.</p> <h2 id="proiecte">Proiecte</h2> <p><strong>EriX Project</strong> : 2/2026- <br><img src="/img/erix.png" width="72" alt="EriX Project logo" /> <br><a href="https://git.erikinkinen.fi/erix">https://git.erikinkinen.fi/erix</a></p> <blockquote> <p>&ldquo;Un sistem de operare cu microkernel, bazat pe capabilități și dezvoltat în cameră curată, scris integral în Rust.&rdquo;</p> </blockquote> <hr> <p><strong>AES</strong> : 1/2026- <br><a href="https://git.erikinkinen.fi/erikinkinen/AES">https://git.erikinkinen.fi/erikinkinen/AES</a></p> <blockquote> <p>&ldquo;AES (Authority Evolution Simulator) este un simulator de cercetare pentru a studia cum evoluează autoritatea în timp în sisteme bazate pe capabilități.&rdquo;</p> </blockquote> <hr> <p><strong>Droidian GNU/Linux</strong> : 3/2021- <br><img src="/img/emblem-droidian.svg" width="72" alt="Droidian logo" /> <br><a href="https://droidian.org/">https://droidian.org/</a> / <a href="https://github.com/droidian/">https://github.com/droidian/</a></p> <blockquote> <p>&ldquo;Droidian este o distribuție GNU/Linux bazată pe Debian pentru dispozitive mobile. Scopul Droidian este să poată rula Debian pe telefoane Android. Acest lucru se realizează folosind tehnologii cunoscute, precum libhybris și Halium.&rdquo;</p> </blockquote> <p>Un videoclip în care prezint Droidian la Volla Community Days 2021:</p> <iframe width="560" height="315" src="https://www.youtube-nocookie.com/embed/X9bASL_Q9Y8?start=884" title="YouTube video player" frameborder="0" allow="accelerometer; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe> <hr> <p><strong>Cutie Shell</strong> : 8/2021- <br><img src="/img/cutie.png" width="72" alt="Cutie Shell logo" /> <br><a href="https://cutie-shell.org/">https://cutie-shell.org/</a> / <a href="https://github.com/cutie-shell/">https://github.com/cutie-shell/</a></p> <blockquote> <p>&ldquo;Cutie Shell își propune să fie o interfață mobilă frumoasă și ușor de utilizat pentru dispozitive Linux care rulează fie Halium, fie Linux mainline. Interfața noastră este inspirată de Sailfish OS de la Jolla, dar nu ne propunem să creăm o clonă. O diferență majoră față de Sailfish OS este că sursa noastră este complet deschisă.&rdquo;</p> </blockquote> <p>Un videoclip în care prezint Cutie Shell la Volla Community Days 2023:</p> <iframe width="560" height="315" src="https://www.youtube-nocookie.com/embed/gAc3fA1edW4?start=14424" title="YouTube video player" frameborder="0" allow="accelerometer; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe> <p>Un alt videoclip în care prezint progresul Cutie Shell la Volla Community Days 2024:</p> <iframe width="560" height="315" src="https://www.youtube-nocookie.com/embed/7vF5647gNbo?start=17144" title="YouTube video player" frameborder="0" allow="accelerometer; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe> <h2 id="educație">Educație</h2> <p><strong>Universitatea din Tampere</strong> : 9/2022- <br>Studii de licență în Tehnologia Informației</p> <ul> <li>În prezent urmez studii de licență, iar obiectivul meu este să absolv un masterat.</li> </ul> <p><strong>Helsingin matematiikkalukio</strong> : 8/2018-5/2022 <br>Învățământ secundar general finlandez</p> <h2 id="competențe-lingvistice">Competențe lingvistice</h2> <table> <tr> <td>Finlandeză</td> <td>nativ</td> </tr> <tr> <td>Engleză</td> <td>avansat</td> </tr> <tr> <td>Spaniolă</td> <td>avansat</td> </tr> <tr> <td>Catalană</td> <td>intermediar</td> </tr> <tr> <td>Suedeză</td> <td>intermediar</td> </tr> <tr> <td>Franceză</td> <td>elementar</td> </tr> </table>