Technologiam informationis in Universitate Tampereensi disco. Tempore libero ad consilia programmatis liberi apertique confero, ut EriX Project, AES, Cutie Shell Project, et Droidian GNU/Linux. Linguis naturalibus et earum discendarum studio quoque interessor.

Invenire me potes in GitHub, git.erikinkinen.fi, et LinkedIn.

Plura lege

A firmware ad nucleum: processus initii explicatus

Omne systema operativum incipit antequam vere ipsum sit. CPU in ambitu a platforma definito surgit, firmware satis ferramenti initializat ut primum exsecutabile oneretur, et illud exsecutabile machinam ad nucleum praeparat. Tantum postquam haec catena opus suum fecit systema operativum suas regulas exsequi incipere potest. Facile est hunc primum iter quasi rem mechanicam tantum tractare, sed processus boot pars est exemplaris securitatis. In EriX, boot primus locus est ubi bytes non fideles in exsecutionem fide dignam mutantur, atque etiam primus locus est ubi auctoritas machinae in structuram explicitam vertitur: imagines verificatae, tabulae memoriae, descriptoribus modulorum, inscriptiones introitus, metadata framebuffer, indices ACPI, et tandem obiecta nuclei.
Plura lege →

Cur Rust ad evolutionem nuclei

Systemata operativa plerumque cum C coniunguntur. Haec coniunctio intellegibilis est. C parvum, praedictibile, machinae proximum, et historice in opere nucleorum dominans est. Programmatori accessum directum ad memoriam, registra, dispositionem, et conventiones vocationis dat. Haec sunt ipsa quae nucleus indiget. Eadem etiam sunt quae nucleos difficiles securitate facere faciunt. EriX praecipue in Rust scriptum est quia consilium circa unam ideam centralem aedificatur: Auctoritas explicita esse debet. Hoc ad facultates, structuras handoff initii, nuntios IPC, obiecta memoriae, et accessum machinarum pertinet.
Plura lege →

Basis computandi fidata: cur magnitudo valeat

Disputationes de securitate saepe in singulis vitiis consistunt: redundatio bufferi vitium confused-deputy parser non examinatus via privilegiorum augendorum Haec vitia valent, sed signa sunt quaestionis profundioris: Quantum codicis rectum esse debet ut systema securum maneat? Hic codex est basis computandi fidata, plerumque TCB appellata. Magnitudo et forma TCB definiunt quantum codicis fidendum, inspiciendum, probationibus exercendum, et ratione comprehendendum sit. Systema abstractiones in charta firmas habere potest, sed si illae abstractiones a magna copia codicis privilegiati perfecte se gerentis pendent, argumentum securitatis multo debilius fit.
Plura lege →

Micronuclei contra nucleos monolithicos: compensationes iterum inspectae

Paucae disputationes de consilio systematum operativorum tam diu duraverunt quam disputatio inter micronucleos et nucleos monolithicos. In superficie, distinctio simplex videtur: nuclei monolithici pleraque officia systematis operativi intra nucleum servant micronuclei pleraque officia in spatium usoris movent In usu, compensatio subtilior est. Quaestio vera non est utrum una structura ubique velocior, mundior, aut tutior sit. Quaestio vera est ubi auctoritas, complexitas, defectus, et sumptus efficientiae habitare debeant. Hoc scriptum hanc compensationem iterum inspicit, explicat cur multa vetera argumenta de micronucleis nimis simpliciter dicta sint, et ostendit cur systemata moderna sicut EriX exemplar micronuclei iterum practicabile faciant.
Plura lege →

Systema operativum conclavi puro designare

Pleraque systemata operativa moderna super decennia codicis congesti, bibliothecarum, et dependentiarum externarum aedificantur. Quamquam hoc ecosystema progressionem celerem sinit, etiam complexitatem, suppositiones latentes, et pericula securitatis fortasse nondum examinata introducit. EriX aliam rationem sequitur. Evolvitur ut systema operativum conclavi puro, quod significat omne componentum - a bootloader usque ad officia spatii usoris - intra ipsum proiectum impleri, sine codice fonte externo aut bibliothecis tertiarum partium incorporandis. Hoc scriptum explorat quid evolutio conclavis puri in usu significet, cur utilis sit, et quas compensationes introducat.
Plura lege →

Quid sit systema operativum facultatibus fundatum

Systemata operativa moderna fines securitatis inter processūs, tabulas, apparatus, et usores servant. Tamen modus quo hi fines efficiuntur inter diversa systematum consilia magnopere variat. Pleraque systemata operativa usitata nituntur accessu secundum identitatem moderato et spatiis nominum globalibus. Systemata operativa facultatibus fundata rationem prorsus aliam sumunt: auctoritatem explicite repraesentant eamque notionem primariae dignitatis faciunt. Hoc scriptum systemata facultatum introducit, explicat quomodo a consiliis traditionalibus differant, atque ostendit cur ad consilium EriX centralia sint.
Plura lege →

Cur micronucleus facultatibus fundatum ab initio aedificem

Systemata operativa inter maxime complexas partes programmatis umquam constructas numerantur. Memoriae curam gerunt, computationem ordinant, apparatum moderantur, atque fines securitatis servant, qui omnem applicationem in machina currentem protegunt. Tamen multa systemata operativa quibus hodie nitimur super notionibus architecturae posita sunt, quae ad complura decennia redeunt. Quamquam haec systemata extraordinaria vi pollent et bene probata sunt, decennia tamen complexitatis cumulatae secum ferunt. Hoc consilium aliam viam explorat: modernum systema operativum micronucleus, facultatibus fundatum, ab initio aedificare, cum valido studio in auctoritate explicita, minima basis computandi fidata (TCB), et stricta separatione inter nucleus et spatium usoris.
Plura lege →