Genode (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Genode" in French language version.

refsWebsite

Global rank French rank

4,683^rd place

6,717^th place

2hypervisor.org

low place

low place

low place

low place

2ccc-project.org

low place

low place

9^th place

19^th place

low place

low place

low place

low place

low place

low place

1allsoftwaresucks.blogspot.com

low place

low place

low place

low place

low place

low place

5,990^th place

low place

low place

low place

low place

low place

1genode-labs.com

low place

low place

1researchgate.net

120^th place

178^th place

low place

low place

low place

low place

low place

low place

allsoftwaresucks.blogspot.com

Alexander Tarasikov, « Porting Genode to commercial hardware », sur allsoftwaresucks.blogspot.com, 11 mai 2013

blackhat.com

John Williams, « Inspecting data from the safety of your trusted execution environment »

ccc-project.org

Martin Wegner, Sönke Holthusen, « Contract Specification and language », sur ccc-project.org, 11 décembre 2014
Mohammad Hamad, « The Secure Communication Module of CCC », sur ccc-project.org, 6 janvier 2016

codelabs.ch

muen.codelabs.ch

« Muen - An x86/64 Separation Kernel for High Assurance »

fosdem.org

archive.fosdem.org

« Introduction of the Genode OS Framework », sur archive.fosdem.org/2012

genode-labs.com

Ludwig Hähne, « Empirical Comparison of SCons and GNU Make »

genode.org

« Release notes 18.02 »

hs-rm.de

cs.hs-rm.de

Mohammad Hamad, « A communication framework for distributed access control in microkernel-based systems »

hypervisor.org

« NOVA OS Virtualization Architecture »
« NOVA Microhypervisor »

jatit.org

B.PRUTHIVIRAJ, G.S.MADHUSUTHUN, S.VIJAYASARATHY, K.CHAKRAPANI, « A MICROKERNEL BASED SECURE OPERATING SYSTEM USING GENODE FRAMEWORK », sur jatit.org

l4hq.org

« L4 Based Operating Systems », sur L4hq.org
« L4 Based Operating Systems », sur L4hq.org

phoronix.com

Michael Larabel, « Genode Is Developing A GPU Multiplexer For Intel Graphics Hardware », sur Phoronix
Michael Larabel, « Redox OS, MINIX, Hurd & Genode Had Their Time At FOSDEM Too », sur Phoronix
Michael Larabel, « Sculpt Aims To Be A General-Purpose OS Built Atop Genode »

pro-linux.de

Hans-Joachim Baader, « Genode 2018.2 mit Sculpt OS », sur pro-linux.de

rambus.com

« Genode OS adds RISC-V support »

researchgate.net

Millo-Sánchez, Reinier & Paz Rodríguez, Waldo & Fajardo-Moya, Alexis, « Genode OS Framework, un framework para el desarrollo de sistemas embebidos », sur ResearchGate

sel4.systems

docs.sel4.systems

« SeL4 Community Projects », sur sel4.systems

tu-dresden.de

os.inf.tu-dresden.de

« TU Dresden technical report TUD-FI06-07 »

usenix.org

« Embassies: Radically Refactoring the Web », USENIX

youtube.com

Martin Stein, « A kernel in a library, FOSDEM 2017 »