Genode as general-purpose OS progress report and demonstration. Norman Feske

Size: px
Start display at page:

Download "Genode as general-purpose OS progress report and demonstration. Norman Feske"

Transcription

1 Genode as general-purpose OS progress report and demonstration Norman Feske

2 Outline 1. Introduction 2. The long way towards general-purpose computing Fundamentals Functionality Resource utilization Stability 3. What is left to be desired? 4. Sidelines 5. Road map 2014 Genode as general-purpose OS progress report and demonstration 2

3 Outline 1. Introduction 2. The long way towards general-purpose computing Fundamentals Functionality Resource utilization Stability 3. What is left to be desired? 4. Sidelines 5. Road map 2014 Genode as general-purpose OS progress report and demonstration 3

4 Myths Genode as general-purpose OS progress report and demonstration 4

5 Key technologies Microkernels Decomponentization, kernelization Capability-based security Virtualization Genode as general-purpose OS progress report and demonstration 5

6 Genode architecture Application-specific TCB Genode as general-purpose OS progress report and demonstration 6

7 Combined with virtualization Genode as general-purpose OS progress report and demonstration 7

8 How to get there? Found a company! Genode Labs, founded in May 2008, self-funded Systems research and development Idea: Start small, build sustainable business, grow organically Team of 8 people Small yet diverse customer base Main source of income is contracting work Genode as general-purpose OS progress report and demonstration 8

9 Components Genode as general-purpose OS progress report and demonstration 9

10 Components Genode as general-purpose OS progress report and demonstration 10

11 Components Genode as general-purpose OS progress report and demonstration 11

12 Components Genode as general-purpose OS progress report and demonstration 12

13 Components Genode as general-purpose OS progress report and demonstration 13

14 Components Genode as general-purpose OS progress report and demonstration 14

15 Outline 1. Introduction 2. The long way towards general-purpose computing Fundamentals Functionality Resource utilization Stability 3. What is left to be desired? 4. Sidelines 5. Road map 2014 Genode as general-purpose OS progress report and demonstration 15

16 Outline 1. Introduction 2. The long way towards general-purpose computing Fundamentals Functionality Resource utilization Stability 3. What is left to be desired? 4. Sidelines 5. Road map 2014 Genode as general-purpose OS progress report and demonstration 16

17 Fundamentals - NOVA kernel IOMMU support Kernel-memory reuse Multi-processor support Genode as general-purpose OS progress report and demonstration 17

18 Fundamentals - Affinity management Genode as general-purpose OS progress report and demonstration 18

19 Fundamentals - OS infrastructure Device drivers essential drivers are in place (NIC, graphics, input, USB, audio, SATA) File systems per-process virtual file system FUSE Rump TCP/IP lwip Linux TCP/IP for gigabit networking Genode as general-purpose OS progress report and demonstration 19

20 Outline 1. Introduction 2. The long way towards general-purpose computing Fundamentals Functionality Resource utilization Stability 3. What is left to be desired? 4. Sidelines 5. Road map 2014 Genode as general-purpose OS progress report and demonstration 20

21 Functionality Simple CLI Virtualization as a stop-gap solution Vancouver aka Seoul VirtualBox Noux runtime for GNU software GNU debugger Qt5 Change from QWS to QPA QML Genode as general-purpose OS progress report and demonstration 21

22 Outline 1. Introduction 2. The long way towards general-purpose computing Fundamentals Functionality Resource utilization Stability 3. What is left to be desired? 4. Sidelines 5. Road map 2014 Genode as general-purpose OS progress report and demonstration 22

23 Tracing: Wish list Negligible performance overhead Kernel independence Accountability of used resources Useful level of abstraction Runtime-defined tracing policies Low-complexity implementation Online and offline analysis Genode as general-purpose OS progress report and demonstration 23

24 Tracing: Mechanism Genode as general-purpose OS progress report and demonstration 24

25 Resource management Explicit assignment of physical resources to processes Genode as general-purpose OS progress report and demonstration 25

26 Resource management (II) Resources can be attached to sessions Genode as general-purpose OS progress report and demonstration 26

27 Resource management (III) Server-side heap partitioning Genode as general-purpose OS progress report and demonstration 27

28 Dynamic resource balancing Not all use cases could be covered. Caches (i. e., block cache) Ballooning refined parent interface Genode as general-purpose OS progress report and demonstration 28

29 Outline 1. Introduction 2. The long way towards general-purpose computing Fundamentals Functionality Resource utilization Stability 3. What is left to be desired? 4. Sidelines 5. Road map 2014 Genode as general-purpose OS progress report and demonstration 29

30 Automated tests Genode as general-purpose OS progress report and demonstration 30

31 Automated tests (II) Genode as general-purpose OS progress report and demonstration 31

32 Automated benchmarks Genode as general-purpose OS progress report and demonstration 32

33 Outline 1. Introduction 2. The long way towards general-purpose computing Fundamentals Functionality Resource utilization Stability 3. What is left to be desired? 4. Sidelines 5. Road map 2014 Genode as general-purpose OS progress report and demonstration 33

34 Capability-based user interface User interface that matches Genode s concepts Ideas: Composed out of many small inter-changeable building blocks Data centric Capability-based Command-line and graphical interface Genode as general-purpose OS progress report and demonstration 34

35 Outline 1. Introduction 2. The long way towards general-purpose computing Fundamentals Functionality Resource utilization Stability 3. What is left to be desired? 4. Sidelines 5. Road map 2014 Genode as general-purpose OS progress report and demonstration 35

36 Sidelines Samsung Exynos-5 (SATA 3.0, USB 3, HDMI, emmc, NIC, DVFS) Freescale i.mx Raspberry Pi Genode as general-purpose OS progress report and demonstration 36

37 Outline 1. Introduction 2. The long way towards general-purpose computing Fundamentals Functionality Resource utilization Stability 3. What is left to be desired? 4. Sidelines 5. Road map 2014 Genode as general-purpose OS progress report and demonstration 37

38 Road map 2014 Capability-based user interface Custom base-hw kernel platform MP support Capability-based security Virtualization 3rd-party source-code package management Improved block-level infrastructure (block cache, block encryption) Wireless networking Genode as general-purpose OS progress report and demonstration 38

39 Thank you Genode OS Framework Genode Labs GmbH Source code at GitHub Genode as general-purpose OS progress report and demonstration 39

General-purpose computing with VirtualBox on Genode/NOVA. Norman Feske

General-purpose computing with VirtualBox on Genode/NOVA. Norman Feske General-purpose computing with VirtualBox on Genode/NOVA Norman Feske Outline 1. VirtualBox 2. NOVA microhypervisor and Genode 3. Transplantation of VirtualBox to NOVA 4.

More information

Introducing Genode. Norman Feske Genode Labs

Introducing Genode. Norman Feske Genode Labs Introducing Genode Norman Feske Genode Labs FOSDEM Feb 4, 2012 Overview 1. Why do we need another operating system? 2. Genode OS architecture at a glance 3. Features of the framework 4. Showcases 5. Plans

More information

Transplantation of VirtualBox to the NOVA microhypervisor. Norman Feske

Transplantation of VirtualBox to the NOVA microhypervisor. Norman Feske Transplantation of VirtualBox to the NOVA microhypervisor Norman Feske Outline 1. VirtualBox 2. NOVA microhypervisor and Genode 3. Steps 4. Demo + Outlook 5. War stories

More information

Combining program verification with component-based architectures. Alexander Senier BOB 2018 Berlin, February 23rd, 2018

Combining program verification with component-based architectures. Alexander Senier BOB 2018 Berlin, February 23rd, 2018 Combining program verification with component-based architectures Alexander Senier BOB 2018 Berlin, February 23rd, 2018 About Componolit 2 What happens when we use what's best? 3 What s Best? Mid-90ies:

More information

EDGE COMPUTING & IOT MAKING IT SECURE AND MANAGEABLE FRANCK ROUX MARKETING MANAGER, NXP JUNE PUBLIC

EDGE COMPUTING & IOT MAKING IT SECURE AND MANAGEABLE FRANCK ROUX MARKETING MANAGER, NXP JUNE PUBLIC EDGE COMPUTING & IOT MAKING IT SECURE AND MANAGEABLE FRANCK ROUX MARKETING MANAGER, NXP JUNE 6 2018 PUBLIC PUBLIC 2 Key concerns with IoT.. PUBLIC 3 Why Edge Computing? CLOUD Too far away Expensive connectivity

More information

F28HS Hardware-Software Interface: Systems Programming

F28HS Hardware-Software Interface: Systems Programming F28HS Hardware-Software Interface: Systems Programming Hans-Wolfgang Loidl School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh Semester 2 2017/18 0 No proprietary software has

More information

GENODE. Operating System Framework Foundations Norman Feske

GENODE. Operating System Framework Foundations Norman Feske GENODE Operating System Framework 1605 Foundations Norman Feske Contents Contents 1 Introduction 11 Operating-system framework 12 Licensing and commercial support 13 About this document 9 14 16 17 I 18

More information

RESOURCE MANAGEMENT MICHAEL ROITZSCH

RESOURCE MANAGEMENT MICHAEL ROITZSCH Faculty of Computer Science Institute of Systems Architecture, Operating Systems Group RESOURCE MANAGEMENT MICHAEL ROITZSCH AGENDA done: time, drivers today: misc. resources architectures for resource

More information

RESOURCE MANAGEMENT MICHAEL ROITZSCH

RESOURCE MANAGEMENT MICHAEL ROITZSCH Faculty of Computer Science Institute of Systems Architecture, Operating Systems Group RESOURCE MANAGEMENT MICHAEL ROITZSCH AGENDA done: time, drivers today: misc. resources architectures for resource

More information

Graphene-SGX. A Practical Library OS for Unmodified Applications on SGX. Chia-Che Tsai Donald E. Porter Mona Vij

Graphene-SGX. A Practical Library OS for Unmodified Applications on SGX. Chia-Che Tsai Donald E. Porter Mona Vij Graphene-SGX A Practical Library OS for Unmodified Applications on SGX Chia-Che Tsai Donald E. Porter Mona Vij Intel SGX: Trusted Execution on Untrusted Hosts Processing Sensitive Data (Ex: Medical Records)

More information

Software Design Challenges for heterogenic SOC's

Software Design Challenges for heterogenic SOC's Software Design Challenges for heterogenic SOC's René Janssen, Product manager Logic Technology 1 Agenda 1. Advantages of heterogenous devices 2. How to manage inter-processor communication 3. Example

More information

Rajagiri School of Engineering & Technology, Kochi Department of Information Technology

Rajagiri School of Engineering & Technology, Kochi Department of Information Technology Rajagiri School of Engineering & Technology, Kochi Department of Information Technology 40206 Competitive quotations are invited for providing the following hardware and accessories to Information Technology

More information

Eleos: Exit-Less OS Services for SGX Enclaves

Eleos: Exit-Less OS Services for SGX Enclaves Eleos: Exit-Less OS Services for SGX Enclaves Meni Orenbach Marina Minkin Pavel Lifshits Mark Silberstein Accelerated Computing Systems Lab Haifa, Israel What do we do? Improve performance: I/O intensive

More information

Designing Windows Server 2008 Network and Applications Infrastructure

Designing Windows Server 2008 Network and Applications Infrastructure Designing Windows Server 2008 Network and Applications Infrastructure Course No. 6435B - 5 Days Instructor-led, Hands-on Introduction This five-day course will provide students with an understanding of

More information

NetFPGA Hardware Architecture

NetFPGA Hardware Architecture NetFPGA Hardware Architecture Jeffrey Shafer Some slides adapted from Stanford NetFPGA tutorials NetFPGA http://netfpga.org 2 NetFPGA Components Virtex-II Pro 5 FPGA 53,136 logic cells 4,176 Kbit block

More information

Supercomputing with Commodity CPUs: Are Mobile SoCs Ready for HPC?

Supercomputing with Commodity CPUs: Are Mobile SoCs Ready for HPC? Supercomputing with Commodity CPUs: Are Mobile SoCs Ready for HPC? Nikola Rajovic, Paul M. Carpenter, Isaac Gelado, Nikola Puzovic, Alex Ramirez, Mateo Valero SC 13, November 19 th 2013, Denver, CO, USA

More information

Tolerating Malicious Drivers in Linux. Silas Boyd-Wickizer and Nickolai Zeldovich

Tolerating Malicious Drivers in Linux. Silas Boyd-Wickizer and Nickolai Zeldovich XXX Tolerating Malicious Drivers in Linux Silas Boyd-Wickizer and Nickolai Zeldovich How could a device driver be malicious? Today's device drivers are highly privileged Write kernel memory, allocate memory,...

More information

NXP-Freescale i.mx6 MicroSoM i4pro. Quad Core SoM (System-On-Module) Rev 1.3

NXP-Freescale i.mx6 MicroSoM i4pro. Quad Core SoM (System-On-Module) Rev 1.3 NXP-Freescale i.mx6 MicroSoM i4pro Quad Core SoM (System-On-Module) Rev 1.3 Simple. Robust. Computing Solutions SolidRun Ltd. 3 Dolev st., 3rd floor, P.O. Box 75 Migdal Tefen 2495900, Israel. www.solid-run.com

More information

CS 261 Fall Mike Lam, Professor. Virtual Memory

CS 261 Fall Mike Lam, Professor. Virtual Memory CS 261 Fall 2016 Mike Lam, Professor Virtual Memory Topics Operating systems Address spaces Virtual memory Address translation Memory allocation Lingering questions What happens when you call malloc()?

More information

<Insert Picture Here> Virtualisierung mit Oracle VirtualBox und Oracle Solaris Containern

<Insert Picture Here> Virtualisierung mit Oracle VirtualBox und Oracle Solaris Containern 1 Virtualisierung mit Oracle VirtualBox und Oracle Solaris Containern Detlef Drewanz Principal Sales Consultant SAFE HARBOR STATEMENT The following is intended to outline our general

More information

IsoStack Highly Efficient Network Processing on Dedicated Cores

IsoStack Highly Efficient Network Processing on Dedicated Cores IsoStack Highly Efficient Network Processing on Dedicated Cores Leah Shalev Eran Borovik, Julian Satran, Muli Ben-Yehuda Outline Motivation IsoStack architecture Prototype TCP/IP over 10GE on a single

More information

Physical Security. Multi-vision Inspection. Embedded Computing. Hazard Mitigation. Traffic Surveillance. Solution Brief

Physical Security. Multi-vision Inspection. Embedded Computing. Hazard Mitigation. Traffic Surveillance. Solution Brief Physical Security Multi-vision Inspection Hazard Mitigation Traffic Surveillance Embedded Computing Solution Brief Multi-vision Inspection Background Key Requirements Machine vision uses cameras, computers

More information

GstShark profiling: a real-life example. Michael Grüner - David Soto -

GstShark profiling: a real-life example. Michael Grüner - David Soto - GstShark profiling: a real-life example Michael Grüner - michael.gruner@ridgerun.com David Soto - david.soto@ridgerun.com Introduction Michael Grüner Technical Lead at RidgeRun Digital signal processing

More information

WalT: testing sensor networks and distributed environments

WalT: testing sensor networks and distributed environments WalT: testing sensor networks and distributed environments E. Dublé, F. Rousseau, J. Baranguán, J. Zeni, I. Juc, P.-H. Frohring, B. Faure April 7, 2014 LIG / DRAKKAR 1 / 18 The problem Contents 1 The problem

More information

Sculpt for Early Adopters (EA)

Sculpt for Early Adopters (EA) Sculpt for Early Adopters (EA) Norman Feske March 1, 2018 Contents 1 Introduction 3 2 Prerequisites 4 2.1 Vim skills required............................... 4 2.2 Hardware requirements and preparations..................

More information

CS Operating Systems

CS Operating Systems CS 447 - Operating Systems Syllabus Assignments -- Uses Blitz (facultyweb.cs.wwu.edu/~phil/classes/blitz) Environment UNIX (Linux, OS X, NetBSD, FreeBSD...) Should be the same since Blitz is a Virtual

More information

Matrix. Get Started Guide

Matrix. Get Started Guide Matrix Get Started Guide Overview Matrix is a single board mini computer based on ARM with a wide range of interface, equipped with a powerful i.mx6 Freescale processor, it can run Android, Linux and other

More information

Overview of System Virtualization: The most powerful platform for program analysis and system security. Zhiqiang Lin

Overview of System Virtualization: The most powerful platform for program analysis and system security. Zhiqiang Lin CS 6V81-05: System Security and Malicious Code Analysis Overview of System Virtualization: The most powerful platform for program analysis and system security Zhiqiang Lin Department of Computer Science

More information

Using a Certified Hypervisor to Secure V2X communication

Using a Certified Hypervisor to Secure V2X communication SYSGO AG PUBLIC 1 Using a Certified Hypervisor to Secure V2X communication Author(s): Date: Version Chris Berg 08/05/2017 v1.1 SYSGO AG PUBLIC 2 Protecting Assets People started protecting their assets

More information

RX300 Settings Manual General

RX300 Settings Manual General RX300 Settings Manual General The RX300 is provisioned by the administrator. The settings can be modified remotely from vspace Console or the RX300 device itself. In the General tab, the administrator

More information

The Challenges of X86 Hardware Virtualization. GCC- Virtualization: Rajeev Wankar 36

The Challenges of X86 Hardware Virtualization. GCC- Virtualization: Rajeev Wankar 36 The Challenges of X86 Hardware Virtualization GCC- Virtualization: Rajeev Wankar 36 The Challenges of X86 Hardware Virtualization X86 operating systems are designed to run directly on the bare-metal hardware,

More information

Embedded HW/SW Co-Development

Embedded HW/SW Co-Development Embedded HW/SW Co-Development It May be Driven by the Hardware Stupid! Frank Schirrmeister EDPS 2013 Monterey April 18th SPMI USB 2.0 SLIMbus RFFE LPDDR 2 LPDDR 3 emmc 4.5 UFS SD 3.0 SD 4.0 UFS Bare Metal

More information

Introduction to SGX (Software Guard Extensions) and SGX Virtualization. Kai Huang, Jun Nakajima (Speaker) July 12, 2017

Introduction to SGX (Software Guard Extensions) and SGX Virtualization. Kai Huang, Jun Nakajima (Speaker) July 12, 2017 Introduction to SGX (Software Guard Extensions) and SGX Virtualization Kai Huang, Jun Nakajima (Speaker) July 12, 2017 1 INTEL RESTRICTED SECRET Agenda SGX Introduction Xen SGX Virtualization Support Backup

More information

SECURITY ARCHITECTURES CARSTEN WEINHOLD

SECURITY ARCHITECTURES CARSTEN WEINHOLD Department of Computer Science Institute of System Architecture, Operating Systems Group SECURITY ARCHITECTURES CARSTEN WEINHOLD MOTIVATION Common observations: Complex software has security bugs Users

More information

10 Steps to Virtualization

10 Steps to Virtualization AN INTEL COMPANY 10 Steps to Virtualization WHEN IT MATTERS, IT RUNS ON WIND RIVER EXECUTIVE SUMMARY Virtualization the creation of multiple virtual machines (VMs) on a single piece of hardware, where

More information

Profiling and Debugging Games on Mobile Platforms

Profiling and Debugging Games on Mobile Platforms Profiling and Debugging Games on Mobile Platforms Lorenzo Dal Col Senior Software Engineer, Graphics Tools Gamelab 2013, Barcelona 26 th June 2013 Agenda Introduction to Performance Analysis with ARM DS-5

More information

CONSTRUCTION OF A HIGHLY DEPENDABLE OPERATING SYSTEM

CONSTRUCTION OF A HIGHLY DEPENDABLE OPERATING SYSTEM CONSTRUCTION OF A HIGHLY DEPENDABLE OPERATING SYSTEM 6th European Dependable Computing Conference Coimbra, Portugal October 18 20, 2006 Jorrit N. Herder Dept. of Computer Science Vrije Universiteit Amsterdam

More information

Understanding Storage I/O Behaviors of Mobile Applications. Louisiana State University Department of Computer Science and Engineering

Understanding Storage I/O Behaviors of Mobile Applications. Louisiana State University Department of Computer Science and Engineering Understanding Storage I/O Behaviors of Mobile Applications Jace Courville jcourv@csc.lsu.edu Feng Chen fchen@csc.lsu.edu Louisiana State University Department of Computer Science and Engineering The Rise

More information

M2-SM6-xx - i.mx 6 based SMARC Modules

M2-SM6-xx - i.mx 6 based SMARC Modules Product Brief ----------------------------------------------------------------------------- M2-SM6-xx - i.mx 6 based SMARC Modules Using the new SMARC standard for embedded modules, TS introduces a series

More information

Compute Node Linux (CNL) The Evolution of a Compute OS

Compute Node Linux (CNL) The Evolution of a Compute OS Compute Node Linux (CNL) The Evolution of a Compute OS Overview CNL The original scheme plan, goals, requirements Status of CNL Plans Features and directions Futures May 08 Cray Inc. Proprietary Slide

More information

NXP-Freescale i.mx6 MicroSoM i2. Dual Core SoM (System-On-Module) Rev 1.3

NXP-Freescale i.mx6 MicroSoM i2. Dual Core SoM (System-On-Module) Rev 1.3 NXP-Freescale i.mx6 MicroSoM i2 Dual Core SoM (System-On-Module) Rev 1.3 Simple. Robust. Computing Solutions SolidRun Ltd. 3 Dolev st., 3rd floor, P.O. Box 75 Migdal Tefen 2495900, Israel. www.solid-run.com

More information

MPSOC Design examples

MPSOC Design examples MPSOC 2007 Eshel Haritan, VP Engineering, Inc. 1 MPSOC Design examples Freescale: ARM1136 + StarCore140e Broadcom: ARM11 + ARM9 + TeakLite + accelerators Qualcomm 4 processors + video, gps, wireless, audio

More information

Esto. An Eclipse-Based Embedded S/W Development Tool. Heung-Nam Kim Director of Embedded S/W Technology Center

Esto. An Eclipse-Based Embedded S/W Development Tool. Heung-Nam Kim Director of Embedded S/W Technology Center Esto An Eclipse-Based Embedded S/W Development Tool Heung-Nam Kim hnkim@etri.re.kr Director of Embedded S/W Technology Center 1 Embedded S/W Technology Center Outlines! About ETRI! Embedded S/W Technology

More information

MiAMI: Multi-Core Aware Processor Affinity for TCP/IP over Multiple Network Interfaces

MiAMI: Multi-Core Aware Processor Affinity for TCP/IP over Multiple Network Interfaces MiAMI: Multi-Core Aware Processor Affinity for TCP/IP over Multiple Network Interfaces Hye-Churn Jang Hyun-Wook (Jin) Jin Department of Computer Science and Engineering Konkuk University Seoul, Korea {comfact,

More information

Computer-Aided Recoding for Multi-Core Systems

Computer-Aided Recoding for Multi-Core Systems Computer-Aided Recoding for Multi-Core Systems Rainer Dömer doemer@uci.edu With contributions by P. Chandraiah Center for Embedded Computer Systems University of California, Irvine Outline Embedded System

More information

Motivation. Threads. Multithreaded Server Architecture. Thread of execution. Chapter 4

Motivation. Threads. Multithreaded Server Architecture. Thread of execution. Chapter 4 Motivation Threads Chapter 4 Most modern applications are multithreaded Threads run within application Multiple tasks with the application can be implemented by separate Update display Fetch data Spell

More information

Integrating CPU and GPU, The ARM Methodology. Edvard Sørgård, Senior Principal Graphics Architect, ARM Ian Rickards, Senior Product Manager, ARM

Integrating CPU and GPU, The ARM Methodology. Edvard Sørgård, Senior Principal Graphics Architect, ARM Ian Rickards, Senior Product Manager, ARM Integrating CPU and GPU, The ARM Methodology Edvard Sørgård, Senior Principal Graphics Architect, ARM Ian Rickards, Senior Product Manager, ARM The ARM Business Model Global leader in the development of

More information

Quantitative Evaluation of Intel PEBS Overhead for Online System-Noise Analysis

Quantitative Evaluation of Intel PEBS Overhead for Online System-Noise Analysis Quantitative Evaluation of Intel PEBS Overhead for Online System-Noise Analysis June 27, 2017, ROSS @ Washington, DC Soramichi Akiyama, Takahiro Hirofuchi National Institute of Advanced Industrial Science

More information

PERFORMANCE ANALYSIS USING NXP S I.MX RT1050 CROSSOVER PROCESSOR AND THE ZEPHYR OS

PERFORMANCE ANALYSIS USING NXP S I.MX RT1050 CROSSOVER PROCESSOR AND THE ZEPHYR OS PERFORMANCE ANALYSIS USING NXP S I.MX RT1050 CROSSOVER PROCESSOR AND THE ZEPHYR OS MAUREEN HELM LEOTESCU FLORIN MARIUS CRISTIAN VLAD BENCHMARKING TEAM AGENDA Zephyr Project introduction Analysis scope

More information

Snappy Ubuntu Core Enabling secure devices with app stores

Snappy Ubuntu Core Enabling secure devices with app stores Snappy Ubuntu Core Enabling secure devices with app stores We are the company behind Ubuntu. Canonical and Ubuntu Best of both worlds CANONICAL Commercial backing for the #1 general purpose Linux OS: Ubuntu

More information

Using MySQL in a Virtualized Environment. Scott Seighman Systems Engineer Sun Microsystems

Using MySQL in a Virtualized Environment. Scott Seighman Systems Engineer Sun Microsystems Using MySQL in a Virtualized Environment Scott Seighman Systems Engineer Sun Microsystems 1 Agenda Virtualization Overview > Why Use Virtualization > Options > Considerations MySQL & Virtualization Best

More information

Debugging on Intel Platforms

Debugging on Intel Platforms White Paper Robert Mueller-Albrecht Developer Products Division Intel Corporation Debugging on Intel Platforms Introduction...3 Overview...3 Servers and Workstations...4 Support for Linux*, Mac OS X*,

More information

Using Industry Standards to Exploit the Advantages and Resolve the Challenges of Multicore Technology

Using Industry Standards to Exploit the Advantages and Resolve the Challenges of Multicore Technology Using Industry Standards to Exploit the Advantages and Resolve the Challenges of Multicore Technology September 19, 2007 Markus Levy, EEMBC and Multicore Association Enabling the Multicore Ecosystem Multicore

More information

Microkernel-based Operating Systems - Introduction

Microkernel-based Operating Systems - Introduction Faculty of Computer Science Institute for System Architecture, Operating Systems Group Microkernel-based Operating Systems - Introduction Nils Asmussen Dresden, Oct 09 2018 Lecture Goals Provide deeper

More information

Self Learning Hard Disk Power Management for Mobile Devices

Self Learning Hard Disk Power Management for Mobile Devices Self Learning Hard Disk Power Management for Mobile Devices Andreas Weissel weissel@cs.fau.de, http://www4.cs.fau.de Department of Computer Sciences 4 Distributed Systems and Operating Systems Friedrich

More information

Raspberry Pi User Guide

Raspberry Pi User Guide Raspberry Pi User Guide Gareth Halfacree, Eben Upton ISBN: 978-1-1184-6446-5 Paperback 262 pages September 2012 Description Make the most out of the world s first truly compact computer It's the size of

More information

6.828: OS/Language Co-design. Adam Belay

6.828: OS/Language Co-design. Adam Belay 6.828: OS/Language Co-design Adam Belay Singularity An experimental research OS at Microsoft in the early 2000s Many people and papers, high profile project Influenced by experiences at

More information

Introduction to Intel Boot Loader Development Kit (Intel BLDK) Intel SSG/SSD/UEFI

Introduction to Intel Boot Loader Development Kit (Intel BLDK) Intel SSG/SSD/UEFI Introduction to Intel Boot Loader Development Kit (Intel BLDK) Intel SSG/SSD/UEFI Legal Disclaimer INFORMATION IN THIS DOCUMENT IS PROVIDED IN CONNECTION WITH INTEL PRODUCTS. NO LICENSE, EXPRESS OR IMPLIED,

More information

Profiling and Debugging OpenCL Applications with ARM Development Tools. October 2014

Profiling and Debugging OpenCL Applications with ARM Development Tools. October 2014 Profiling and Debugging OpenCL Applications with ARM Development Tools October 2014 1 Agenda 1. Introduction to GPU Compute 2. ARM Development Solutions 3. Mali GPU Architecture 4. Using ARM DS-5 Streamline

More information

Launching StarlingX. The Journey to Drive Compute to the Edge Pilot Project Supported by the OpenStack

Launching StarlingX. The Journey to Drive Compute to the Edge Pilot Project Supported by the OpenStack Launching StarlingX The Journey to Drive Compute to the Edge Pilot Project Supported by the OpenStack Foundation Ian Jolliffe, WIND RIVER SYSTEMS Director Engineering @ian_jolliffe Project Overview An

More information

Lithe: Enabling Efficient Composition of Parallel Libraries

Lithe: Enabling Efficient Composition of Parallel Libraries Lithe: Enabling Efficient Composition of Parallel Libraries Heidi Pan, Benjamin Hindman, Krste Asanović xoxo@mit.edu apple {benh, krste}@eecs.berkeley.edu Massachusetts Institute of Technology apple UC

More information

From Processes to Threads

From Processes to Threads From Processes to Threads 1 Processes, Threads and Processors Hardware can interpret N instruction streams at once Uniprocessor, N==1 Dual-core, N==2 Sun s Niagra T2 (2007) N == 64, but 8 groups of 8 An

More information

Ceph in HPC Environments, BoF, SC15, Austin, Texas November 18, MIMOS. Presented by Hong Ong. 18th h November 2015

Ceph in HPC Environments, BoF, SC15, Austin, Texas November 18, MIMOS. Presented by Hong Ong. 18th h November 2015 Ceph in HPC Environments, BoF, SC15, Austin, Texas November 18, 2015 Ceph @ MIMOS Presented by Hong Ong 18th h November 2015 Outline MIMOS: An Overview Ceph@MIMOS Use Cases: Backup Virtual Desktop Infrastructure

More information

I/O Devices. I/O Management Intro. Sample Data Rates. I/O Device Handling. Categories of I/O Devices (by usage)

I/O Devices. I/O Management Intro. Sample Data Rates. I/O Device Handling. Categories of I/O Devices (by usage) I/O Devices I/O Management Intro Chapter 5 There exists a large variety of I/O devices: Many of them with different properties They seem to require different interfaces to manipulate and manage them We

More information

Advanced Systems Security: Virtual Machine Systems

Advanced Systems Security: Virtual Machine Systems Systems and Internet Infrastructure Security Network and Security Research Center Department of Computer Science and Engineering Pennsylvania State University, University Park PA Advanced Systems Security:

More information

High Performance Computing Systems

High Performance Computing Systems High Performance Computing Systems Multikernels Doug Shook Multikernels Two predominant approaches to OS: Full weight kernel Lightweight kernel Why not both? How does implementation affect usage and performance?

More information

Embedded SDR for Small Form Factor Systems

Embedded SDR for Small Form Factor Systems Embedded SDR for Small Form Factor Systems Philip Balister, Tom Tsou, and Jeff Reed MPRG Wireless @ Virginia Tech Blacksburg, VA 24060 balister@vt.edu Outline Embedded Software Defined Radio SDR Frameworks

More information

INTRODUCTION THE BASELINE CLASSROOM CLASSROOM ENVIRONMENT COMPUTERS LEVEL I LEVEL II

INTRODUCTION THE BASELINE CLASSROOM CLASSROOM ENVIRONMENT COMPUTERS LEVEL I LEVEL II INTRODUCTION Red Hat Training classes are highly interactive and require a properly configured classroom. Instructors use an automated classroom installation to ensure a consistent and efficient training

More information

Comparing TCP performance of tunneled and non-tunneled traffic using OpenVPN. Berry Hoekstra Damir Musulin OS3 Supervisor: Jan Just Keijser Nikhef

Comparing TCP performance of tunneled and non-tunneled traffic using OpenVPN. Berry Hoekstra Damir Musulin OS3 Supervisor: Jan Just Keijser Nikhef Comparing TCP performance of tunneled and non-tunneled traffic using OpenVPN Berry Hoekstra Damir Musulin OS3 Supervisor: Jan Just Keijser Nikhef Outline Introduction Approach Research Results Conclusion

More information

Project Proposals. Advanced Operating Systems / Embedded Systems (2016/2017)

Project Proposals. Advanced Operating Systems / Embedded Systems (2016/2017) Project Proposals / Embedded Systems (2016/2017) Giuseppe Massari, Federico Terraneo giuseppe.massari@polimi.it federico.terraneo@polimi.it Project Rules 2/40 General rules Two types of project: Code development

More information

Die Brummbeere Documentation

Die Brummbeere Documentation Die Brummbeere Documentation Release 0.0.1 Peter Bouda February 21, 2016 Contents 1 owncloud Music Player 1 2 Contents 3 2.1 Compile for desktop........................................... 3 2.2 Embedded

More information

Operating System. Operating System Overview. Structure of a Computer System. Structure of a Computer System. Structure of a Computer System

Operating System. Operating System Overview. Structure of a Computer System. Structure of a Computer System. Structure of a Computer System Overview Chapter 1.5 1.9 A program that controls execution of applications The resource manager An interface between applications and hardware The extended machine 1 2 Structure of a Computer System Structure

More information

INTRODUCTION THE BASELINE CLASSROOM CLASSROOM ENVIRONMENT COMPUTERS LEVEL I LEVEL II

INTRODUCTION THE BASELINE CLASSROOM CLASSROOM ENVIRONMENT COMPUTERS LEVEL I LEVEL II INTRODUCTION Red Hat Training classes are highly interactive and require a properly configured classroom. Instructors use an automated classroom installation to ensure a consistent and efficient training

More information

Distributed Development at Symbian. Deepak Modgil Configuration Management Engineer Symbian Ltd

Distributed Development at Symbian. Deepak Modgil Configuration Management Engineer Symbian Ltd Distributed Development at Symbian Deepak Modgil Configuration Management Engineer Symbian Ltd 1 Outline Introduction Company Profile Export Control and Intellectual Property Offshore Software Development

More information

SUSE Linux Entreprise Server for ARM

SUSE Linux Entreprise Server for ARM FUT89013 SUSE Linux Entreprise Server for ARM Trends and Roadmap Jay Kruemcke Product Manager jayk@suse.com @mr_sles ARM Overview ARM is a Reduced Instruction Set (RISC) processor family British company,

More information

Open SpeedShop Capabilities and Internal Structure: Current to Petascale. CScADS Workshop, July 16-20, 2007 Jim Galarowicz, Krell Institute

Open SpeedShop Capabilities and Internal Structure: Current to Petascale. CScADS Workshop, July 16-20, 2007 Jim Galarowicz, Krell Institute 1 Open Source Performance Analysis for Large Scale Systems Open SpeedShop Capabilities and Internal Structure: Current to Petascale CScADS Workshop, July 16-20, 2007 Jim Galarowicz, Krell Institute 2 Trademark

More information

IBM Integration Bus v9.0 System Administration: Course Content By Yuvaraj C Panneerselvam

IBM Integration Bus v9.0 System Administration: Course Content By Yuvaraj C Panneerselvam IBM Integration Bus v9.0 System Administration: Course Content By Yuvaraj C Panneerselvam 1. COURSE OVERVIEW As part of this course, you will learn how to administer IBM Integration Bus on distributed

More information

Introduction to Adaptive AUTOSAR. Dheeraj Sharma July 27, 2017

Introduction to Adaptive AUTOSAR. Dheeraj Sharma July 27, 2017 Introduction to Adaptive AUTOSAR Dheeraj Sharma July 27, 2017 Overview Software Platform and scope of Adaptive AUTOSAR Adaptive AUTOSAR architecture and roadmap EB Adaptive Platform and Prototyping solution

More information

Matrix. Get Started Guide V2.0

Matrix. Get Started Guide V2.0 Matrix Get Started Guide V2.0 Overview Matrix is a single board mini computer based on ARM with a wide range of interface, equipped with a powerful i.mx6 Freescale processor, it can run Android, Linux,

More information

SECURITY ARCHITECTURES CARSTEN WEINHOLD

SECURITY ARCHITECTURES CARSTEN WEINHOLD Department of Computer Science Institute of System Architecture, Operating Systems Group SECURITY ARCHITECTURES CARSTEN WEINHOLD MOTIVATION Common observations: Complex software has security bugs Users

More information

RESOURCE MANAGEMENT MICHAEL ROITZSCH

RESOURCE MANAGEMENT MICHAEL ROITZSCH Department of Computer Science Institute for System Architecture, Operating Systems Group RESOURCE MANAGEMENT MICHAEL ROITZSCH AGENDA done: time, drivers today: misc. resources architectures for resource

More information

Unikernel support for the deployment of light-weight, self-contained, and latency avoiding services

Unikernel support for the deployment of light-weight, self-contained, and latency avoiding services Unikernel support for the deployment of light-weight, self-contained, and latency avoiding services University of St Andrews Ward Jaradat, Alan Dearle, and Jonathan Lewis Overview Motivation Goals Unikernels

More information

VMware vsphere Administration Training. Course Content

VMware vsphere Administration Training. Course Content VMware vsphere Administration Training Course Content Course Duration : 20 Days Class Duration : 3 hours per day (Including LAB Practical) Fast Track Course Duration : 10 Days Class Duration : 8 hours

More information

Latency- and Resilience-Aware Networking SPP 1914: Cyber-Physical Networking

Latency- and Resilience-Aware Networking SPP 1914: Cyber-Physical Networking Latency- and Resilience-Aware Networking SPP 1914: Cyber-Physical Networking http://larn.systems Andreas Schmidt, Thorsten Herfet Telecommunications Lab Saarland Informatics Campus - Saarbrücken Stefan

More information

NXP-Freescale i.mx6. Dual Core SOM (System-On-Module) Rev 1.5

NXP-Freescale i.mx6. Dual Core SOM (System-On-Module) Rev 1.5 NXP-Freescale i.mx6 SOM i2ex Dual Core SOM (System-On-Module) Rev 1.5 Simple. Robust. Computing Solutions SolidRun Ltd. 7 Hamada st., Yokne am Illit, 2495900, Israel www.solid-run.com 1 Page Document revision

More information

Offer Number and Date

Offer Number and Date PURCHASE DIVISION DEPARTMENT QUALITY MANUAL Revision No. : 02 Dt of Revision : 12.9.2012 Section : 0 Topic Issue No: : 2 Issue Dt. : 30.06.2003 Page No. : 10 OF 19 Issued by : Q A Document : DQM-01 : FORMAT

More information

PCIe driver development for Exynos SoC

PCIe driver development for Exynos SoC PCIe driver development for Exynos SoC Korea Linux Forum 2013 Jingoo Han Samsung Electronics Introduction S/W engineer at Samsung Electronics since 2005 Linux kernel development for Samsung Exynos ARM

More information

Software and Tools for HPE s The Machine Project

Software and Tools for HPE s The Machine Project Labs Software and Tools for HPE s The Machine Project Scalable Tools Workshop Aug/1 - Aug/4, 2016 Lake Tahoe Milind Chabbi Traditional Computing Paradigm CPU DRAM CPU DRAM CPU-centric computing 2 CPU-Centric

More information

Advanced Systems Security: Virtual Machine Systems

Advanced Systems Security: Virtual Machine Systems Systems and Internet Infrastructure Security Network and Security Research Center Department of Computer Science and Engineering Pennsylvania State University, University Park PA Advanced Systems Security:

More information

OS DESIGN PATTERNS II. CS124 Operating Systems Fall , Lecture 4

OS DESIGN PATTERNS II. CS124 Operating Systems Fall , Lecture 4 OS DESIGN PATTERNS II CS124 Operating Systems Fall 2017-2018, Lecture 4 2 Last Time Began discussing general OS design patterns Simple structure (MS-DOS) Layered structure (The THE OS) Monolithic kernels

More information

An Extensible Message-Oriented Offload Model for High-Performance Applications

An Extensible Message-Oriented Offload Model for High-Performance Applications An Extensible Message-Oriented Offload Model for High-Performance Applications Patricia Gilfeather and Arthur B. Maccabe Scalable Systems Lab Department of Computer Science University of New Mexico pfeather@cs.unm.edu,

More information

GCMA: Guaranteed Contiguous Memory Allocator. SeongJae Park

GCMA: Guaranteed Contiguous Memory Allocator. SeongJae Park GCMA: Guaranteed Contiguous Memory Allocator SeongJae Park These slides were presented during The Kernel Summit 2018 (https://events.linuxfoundation.org/events/linux-kernel-summit-2018/)

More information

Applications, services. Middleware. OS2 Processes, threads, Processes, threads, communication,... communication,... Platform

Applications, services. Middleware. OS2 Processes, threads, Processes, threads, communication,... communication,... Platform Operating System Support Introduction Distributed systems act as resource managers for the underlying hardware, allowing users access to memory, storage, CPUs, peripheral devices, and the network Much

More information

Course Outline. Performance Tuning and Optimizing SQL Databases Course 10987B: 4 days Instructor Led

Course Outline. Performance Tuning and Optimizing SQL Databases Course 10987B: 4 days Instructor Led Performance Tuning and Optimizing SQL Databases Course 10987B: 4 days Instructor Led About this course This four-day instructor-led course provides students who manage and maintain SQL Server databases

More information

SATA in Mobile Computing

SATA in Mobile Computing SATA in Mobile Computing Miki Sapir SanDisk 1 2 Forward Looking Statement During our meeting today we will be making forward-looking statements. Any statement that refers to expectations, projections or

More information

RAIN SDR Quick Start Manual RAIN SDR. Quick Start Manual

RAIN SDR Quick Start Manual RAIN SDR. Quick Start Manual RAIN SDR Quick Start Manual The following table RAIN shows SDR the Quick revision Start history Manual Revision History The following table shows the revision history for this document.change bars indicate

More information

SOM i1 Single Core SOM (System-On-Module) Rev 1.5

SOM i1 Single Core SOM (System-On-Module) Rev 1.5 NXP-Freescale i.mx6 SOM i1 Single Core SOM (System-On-Module) Rev 1.5 Simple. Robust. Computing Solutions SolidRun Ltd. 7 Hamada st., Yokne am Illit, 2495900, Israel www.solid-run.com 1 Page Document revision

More information

vnetwork Future Direction Howie Xu, VMware R&D November 4, 2008

vnetwork Future Direction Howie Xu, VMware R&D November 4, 2008 vnetwork Future Direction Howie Xu, VMware R&D November 4, 2008 Virtual Datacenter OS from VMware Infrastructure vservices and Cloud vservices Existing New - roadmap Virtual Datacenter OS from VMware Agenda

More information

SFS: Random Write Considered Harmful in Solid State Drives

SFS: Random Write Considered Harmful in Solid State Drives SFS: Random Write Considered Harmful in Solid State Drives Changwoo Min 1, 2, Kangnyeon Kim 1, Hyunjin Cho 2, Sang-Won Lee 1, Young Ik Eom 1 1 Sungkyunkwan University, Korea 2 Samsung Electronics, Korea

More information

Microkernels and Portability. What is Portability wrt Operating Systems? Reuse of code for different platforms and processor architectures.

Microkernels and Portability. What is Portability wrt Operating Systems? Reuse of code for different platforms and processor architectures. Microkernels and Portability What is Portability wrt Operating Systems? Reuse of code for different platforms and processor architectures. Contents Overview History Towards Portability L4 Microkernels

More information