We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Introducing Helios Micokernel

00:00

Formal Metadata

Title
Introducing Helios Micokernel
Subtitle
A small, practical microkernel
Title of Series
Number of Parts
542
Author
License
CC Attribution 2.0 Belgium:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
Helios is a simple microkernel written in part to demonstrate the applicability of the Hare programming language to kernels. This talk will introduce the design and rationale for Helios, address some details of its implementation, compare it with seL4, and elaborate on the broader plans for the system. Hare is a systems programming language designed to be simple, stable, and robust. Hare uses a static type system, manual memory management, and a minimal runtime. It is well-suited to writing operating systems, system tools, compilers, networking software, and other low-level, high performance tasks. Helios uses Hare to implement a microkernel, largely inspired by seL4.
Kernel (computing)BootingLine (geometry)Portable communications deviceCodeArchitectureInformation securitySimilarity (geometry)InterprozesskommunikationCore dumpScheduling (computing)Computer hardwareMultiplicationHacker (term)SoftwareSystem programmingCompilerOperations researchMemory managementFluid staticsRun time (program lifecycle phase)Task (computing)Programming languageCompilerOvalWeb pageAsynchronous Transfer ModeImplementationPoint (geometry)SpeicheradresseAddress spaceRead-only memoryTable (information)Thread (computing)StrutFreewareProcess (computing)Virtual realityMikrokernelMemory managementPoint (geometry)Thread (computing)System programmingKernel (computing)Different (Kate Ryan album)Programming languagePhysicalismTerm (mathematics)Hand fanFunctional programmingData storage deviceComputer programmingWebsiteVirtualizationAddress spaceLine (geometry)Semiconductor memoryCodeArithmetic progressionPortable communications deviceProjective planeElectronic mailing listMultiplication signBootingOrder (biology)State of matterWritingImplementationScheduling (computing)Complex numberWeb pageNim-SpielOperator (mathematics)Core dumpModule (mathematics)Exterior algebraPointer (computer programming)Computer architectureProcess (computing)Assembly languageCubeLinker (computing)BitSlide ruleSystem callChemical equationCompilerCountingLatent heatFront and back endsNumberDefault (computer science)Virtual memoryMacro (computer science)FingerprintException handlingSampling (statistics)Endliche ModelltheorieNamespaceArmRight anglePlanningModal logicHoaxInterprozesskommunikationComputer animation
Address spaceFlagWeb pageMessage passingInterprozesskommunikationTask (computing)Block (periodic table)Event horizonKernel (computing)Object-oriented programmingProcess (computing)Interface (computing)Link (knot theory)Similarity (geometry)FreewareSemiconductor memoryRead-only memoryComputer configurationVirtual realityControl flowMemory managementSlide ruleGame theoryDifferent (Kate Ryan album)Digital watermarkingTable (information)Constraint (mathematics)BefehlsprozessorScheduling (computing)System callObject-oriented programmingProcess (computing)Right angleMemory managementAddress spaceScheduling (computing)Task (computing)Computer architectureKernel (computing)Interface (computing)SeitentabelleOperator (mathematics)Thread (computing)Serial portElectronic mailing listDifferent (Kate Ryan album)State of matterMultiplication signImplementationBefehlsprozessorSystem programmingSet (mathematics)Term (mathematics)Order (biology)Computer fileWeb pageCodeInformationNumberFlow separationHoaxInheritance (object-oriented programming)PhysicalismForcing (mathematics)Semiconductor memoryService (economics)DemonInteractive televisionEndliche ModelltheorieMappingLevel (video gaming)Derivation (linguistics)Functional programmingBitMikrokernelVirtualizationMessage passingNeuroinformatikParameter (computer programming)Block (periodic table)Event horizonMaxima and minimaResource allocationLastteilungData bufferShared memoryFreewareConstraint (mathematics)Slide ruleLatent heatForm (programming)AdditionTelecommunicationComputer animation
Scheduling (computing)BefehlsprozessorTask (computing)Address spaceWeb pageTable (information)Constraint (mathematics)BootingKernel (computing)InformationIntegrated development environmentMultiplicationSystem programmingRead-only memoryHydraulic jumpStructural loadNetwork topologyReduced instruction set computingInterface (computing)Operations researchComplete metric spaceSoftware frameworkSerial portBit rateParity (mathematics)Set (mathematics)Error messageOvalGraphics processing unitSlide ruleKeyboard shortcutMemory managementMultilaterationReal numberMultiplication signCodeKernel (computing)Process (computing)Address spaceBootingLatent heatFunctional programmingUtility softwareBitImplementationSemiconductor memoryCombinational logicRun time (program lifecycle phase)Task (computing)Object-oriented programmingComputing platformPoint (geometry)PlanningComputer clusterSystem programmingNetwork topologyAbstractionProblemorientierte ProgrammierspracheRight angleView (database)WordPortable communications deviceLevel (video gaming)Goodness of fitInterface (computing)Video projectorLaptopSlide ruleMessage passingProjective planeComputer hardwareEnumerated typeAlpha (investment)Binary codeAssembly languageCore dumpSoftware frameworkPhase transitionDemo (music)Serial portOperating systemGraphics processing unitWhiteboardDemosceneProbability density functionBit rateMereologyStandard deviationProcess capability indexArmParsingDecision theoryConfiguration spaceHacker (term)Sampling (statistics)Term (mathematics)BuildingParity (mathematics)File systemVirtual memoryComputer animation
Address spaceGraphics processing unitSlide ruleSystem programmingKeyboard shortcutKernel (computing)Computer configurationBootingOnline chatLattice (order)Kernel (computing)Hacker (term)CodeProgramming languageSystem programmingWritingNumberSoftware testingBootingBitProjective planeArmLine (geometry)SpeicherbereinigungNatural numberNetwork topologyAddress spaceSlide ruleWeb pageImplementationComputer programmingField (computer science)Assembly languageContext awarenessInterrupt <Informatik>Ring (mathematics)CASE <Informatik>Real numberSemiconductor memoryTrailDerivation (linguistics)Serial portStandard deviationComputer configurationLink (knot theory)Statement (computer science)Mechanism designVirtual memoryPhysicalismFormal verificationSoftwareBlock (periodic table)Video gamePoint (geometry)Decision theoryMultiplication signComplete metric spaceComputer animation
Online chatLattice (order)Kernel (computing)PlanningKernel (computing)SoftwareElectric generatorField (computer science)Communications protocolDecision theoryMultiplication signAxiom of choiceBootingComputer virusMechanism designAreaNamespaceInterprozesskommunikationCASE <Informatik>Independence (probability theory)Normal (geometry)Position operatorFormal verificationAddress spaceCodeSpeicheradresseOperating systemFile systemPresentation of a groupSystem programmingBinary codeSoftware developerMathematicsPatch (Unix)Different (Kate Ryan album)Group actionOffice suiteMainframe computerNeuroinformatikClient (computing)Projective planeNumberMoment (mathematics)Data conversionMachine visionGraphical user interfaceWorkstation <Musikinstrument>Process (computing)Uniformer RaumEndliche ModelltheorieStructural load2 (number)MereologySoftware maintenanceSlide ruleSource codeBitPoint (geometry)Network topologyMikrokernelSemiconductor memoryAuthorizationFree variables and bound variablesServer (computing)Service (economics)Proof theoryStandard deviation
Program flowchart
Transcript: English(auto-generated)