Αλλαγή γραμματοσειράς
Ημερομηνία Δευτ Μαρ 25, 2019 9:08 pm
foss.aueb.gr

Λειτουργικά Συστήματα

Genode [Microkernel OS]

Νέα και απόψεις για όλα τα ανοιχτά OS(Linux, BSD, Unix, etc)

Genode [Microkernel OS]

Δημοσίευσηαπό c00kiemon5ter » Πέμ Σεπ 23, 2010 5:48 pm

Genode έγραψε:We understand the complexity of code and policy as the most fundamental security problem shared by modern general-purpose operating systems. Because of high functional demands and dynamic workloads, however, this complexity cannot be avoided. But it can be organized. Genode is a novel OS architecture that is able to master complexity by applying a strict organizational structure to all software components including device drivers, system services, and applications. The Genode OS framework is the effort to advance the Genode OS architecture as a community-driven open-source project

[...]

Genode is a novel operating-system architecture that enables dynamic workload while retaining security and robustness. The fundamental difference of Genode compared to other OS architectures is its strict organizational structure, which allows the execution of sensitive applications with a trusted computing base of a few thousand lines of code beside high-complexity workload. With its organizational approach, the architecture facilitates a clean separation of policies and mechanisms, and enables the definition and application of system policies in a natural and distributed fashion. Genode's resource-management concept enables highly dynamic workload but still retains deterministic behaviour normally only found in statically configured systems. Learn more about the concepts of Genode...

The Genode OS framework is the reference implementation of this architecture. Its low source-code complexity of less than 10,000 lines of code not only eases thorough evaluation but principally enables the application of formal verification methods to the code base.

Genode's targeted application domains include high-security computing, dependable systems, automotive applications, and mobile devices. Even though the Genode OS framework mainly addresses specialized applications in the mid-term, we believe that the implemented mechanisms scale well towards the needs of a general-purpose operating system.

Genode is an offspring of the L4 community. Until spring 2008, it was conducted internally within the TU Dresden OS research group. The foundation of Genode Labs by the original creators of Genode marks the transition of Genode to a community project. At present, the implementation of the Genode OS framework is not complete but it is a solid starting point for a community effort. The direction where the project is heading...


Running under L4 microkernel
Computers are simple. You just write an instruction and they follow it.
Εικόνα
a cookie! ~ i.will.do.science.to.it! Εικόνα
Άβαταρ μέλους
c00kiemon5ter
cookie hunter
 
Δημοσ.: 554
Εγγραφη: Δευτ Μάιος 11, 2009 1:55 am
Τοποθεσια: (void *)NULL
Operating System: ~ Arch ~ .: Gentoo :.

Επιστροφή στην Λειτουργικά Συστήματα

cron
foss.aueb.gr

Μελη σε συνδεση

Συνολικά υπάρχει 1 μέλος συνδεδεμένο: 0 εγγεγραμμένο, 0 κρυφοί και 1 επισκέπτης (με βάση τα μέλη που έχουν συνδεθεί τα τελευταία 5 λεπτά)
Περισσότερα μέλη σε σύνδεση 167 την Κυρ Οκτ 02, 2016 2:55 am

Μέλη σε αυτή την Δ. Συζήτηση : Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης

Γενέθλια

Κανένα μέλος δεν έχει γενέθλια σήμερα