diff --git a/themenabend/2001_apes_monolith.jpg b/themenabend/2001_apes_monolith.jpg deleted file mode 100644 index 48bae8b35..000000000 Binary files a/themenabend/2001_apes_monolith.jpg and /dev/null differ diff --git a/themenabend/OS-structure.png b/themenabend/OS-structure.png deleted file mode 100644 index 407ed72f9..000000000 Binary files a/themenabend/OS-structure.png and /dev/null differ diff --git a/themenabend/The_Linux_Foundation_Logo.png b/themenabend/The_Linux_Foundation_Logo.png deleted file mode 100644 index d753ad94b..000000000 Binary files a/themenabend/The_Linux_Foundation_Logo.png and /dev/null differ diff --git a/themenabend/Tupfile b/themenabend/Tupfile deleted file mode 100644 index 0439677e2..000000000 --- a/themenabend/Tupfile +++ /dev/null @@ -1,22 +0,0 @@ -TARGET_NAME = themenabend_slides -include_rules - -: slides.tex |> pdflatex %f |> \ - %B.aux \ - %B.log \ - %B.nav \ - %B.out \ - %B.pdf \ - %B.snm \ - %B.toc \ - -: slides.pdf |> !collect_raw |> - -PKG_DEPENDS += \ - _/raw/$(TARGET_NAME) \ - @(PUBLIC_PKG_PDF_VIEW) \ - -: runtime |> !collect_pkg_runtime |> - -include $(RAW_RULES) -include $(PKG_RULES) diff --git a/themenabend/agpl-logo.png b/themenabend/agpl-logo.png deleted file mode 100644 index 93e527e37..000000000 Binary files a/themenabend/agpl-logo.png and /dev/null differ diff --git a/themenabend/app_specific_tcb.pdf b/themenabend/app_specific_tcb.pdf deleted file mode 100644 index c669c7076..000000000 Binary files a/themenabend/app_specific_tcb.pdf and /dev/null differ diff --git a/themenabend/genode_logo.png b/themenabend/genode_logo.png deleted file mode 100644 index 9cf21b484..000000000 Binary files a/themenabend/genode_logo.png and /dev/null differ diff --git a/themenabend/redstar.png b/themenabend/redstar.png deleted file mode 100644 index 25bd81524..000000000 Binary files a/themenabend/redstar.png and /dev/null differ diff --git a/themenabend/runtime b/themenabend/runtime deleted file mode 100644 index b215d957f..000000000 --- a/themenabend/runtime +++ /dev/null @@ -1,28 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/themenabend/sculpt_overview.png b/themenabend/sculpt_overview.png deleted file mode 100644 index e244350ee..000000000 Binary files a/themenabend/sculpt_overview.png and /dev/null differ diff --git a/themenabend/slides.tex b/themenabend/slides.tex deleted file mode 100644 index 7a3e2e340..000000000 --- a/themenabend/slides.tex +++ /dev/null @@ -1,202 +0,0 @@ -\documentclass[pdf,utf8]{beamer} -\mode - -%\usetheme{Dresden} - -\title{Genode Operating System Framework\\+\\Sculpt} - -\begin{document} - -\begin{frame} - \titlepage -\end{frame} - -\section{Motivation} - -\subsection{History} - -\begin{frame} -New operating systems? -\end{frame} - -\begin{frame} -\begin{center} - \includegraphics[width=.5\textwidth,height=.5\textheight,keepaspectratio]{utah2000-cover.png} - \footnote{\url{http://doc.cat-v.org/bell_labs/utah2000/}} -\end{center} -\end{frame} - -\begin{frame} -\begin{center} - \includegraphics[width=\textwidth,height=.8\textheight,keepaspectratio]{utah2000-graph.png} - (Symposium on Operating Systems Principles)\\ - \pause - 20 years, 20 years ago -\end{center} -\end{frame} - -\begin{frame} -\begin{center} - \includegraphics[width=\textwidth,height=.5\textheight,keepaspectratio]{usb_armory.jpg} - \footnote{\url{http://inversepath.com/usbarmory.html}} -\end{center} -\pause -Computers run on 5 Volts\\ -\pause -Light bulbs have IP addresses -\end{frame} - -\begin{frame}{Firmware Operating Systems} -\begin{itemize} - - \pause - \item MINIX - - \pause - \item Apple Secure Enclave - \footnote{\url{https://www.apple.com/hk/business/site/docs/iOS_Security_Guide.pdf}} - - \pause - \item Huawei LiteOS - \footnote{\url{https://liteos.github.io/en/}} - - \pause - \item KasperskyOS - \footnote{\url{https://os.kaspersky.com/}} - - \pause - \item PikeOS - \footnote{\url{https://www.sysgo.com/products/pikeos-hypervisor/}} - - \pause - \item QNX - \footnote{\url{https://blackberry.qnx.com/en}} - - \pause - \item RIOT - \footnote{\url{https://www.riot-os.org/}} -\end{itemize} -\pause -\center{All have a microkernel architecture and\\reasonable development costs} -\end{frame} - -\begin{frame}{Microkernel Architecture} -\begin{center} -\includegraphics[width=\textwidth,keepaspectratio]{OS-structure.png} -\footnote{\url{https://commons.wikimedia.org/wiki/File:OS-structure.svg}} -\end{center} -\end{frame} - -\begin{frame} -\center{Systems Software Research is\\Less Irrelevant} -\center{This is not the 90s} -\end{frame} - -\subsection{Monoliths} - -\begin{frame}{Why reject Monoliths?} -\begin{center} - \includegraphics[width=\textwidth,height=\textheight,keepaspectratio]{2001_apes_monolith.jpg} -\end{center} -\end{frame} - -\begin{frame}{Monoliths are big} -\begin{itemize} -\pause -\item 9FRONT 2,3 MLOC -\pause -\item FreeBSD 17,2 MLOC\footnote{\url{https://www.openhub.net/p/freebsd}} (src/sys - 5,8 MLOC) -\pause -\item GNU/Linux (Glibc)1,4 MLOC \footnote{\url{https://www.openhub.net/p/glibc}}/(Kernel)17,6 MLOC\footnote{\url{https://www.openhub.net/p/linux}} -\pause -\item Android - 14 MLOC\footnote{\url{https://www.openhub.net/p/android}} -\pause -\item Chrome - 25,3 MLOC\footnote{\url{https://www.openhub.net/p/chrome}} -\end{itemize} -\end{frame} - -\begin{frame}{Monoliths are expensive} - \includegraphics{The_Linux_Foundation_Logo.png} -\begin{quote} -16B USD\\Estimated development cost of the 100+ world’s leading projects hosted at The Linux Foundation -\footnote{\url{https://www.linuxfoundation.org/}} -\end{quote} -\pause -\\Schedule A membership fee - 500,000 USD annually -\footnote{\url{https://www.linuxfoundation.org/bylaws/}} -\pause -\\Personal donations accepted -\end{frame} - -\begin{frame}{Monoliths are a business model} -\begin{center} - \includegraphics[width=\textwidth,height=.8\textheight,keepaspectratio]{starfire.jpg} - \footnote{\url{https://www.asktog.com/starfire/}} -\end{center} -\end{frame} - -\begin{frame}{Monoliths are dangerous} -\begin{center} - \includegraphics[width=\textwidth,height=\textheight,keepaspectratio]{redstar.png} -\end{center} -\end{frame} - -\begin{frame} -We don't need monoliths -\end{frame} - -\section{Genode} - -\begin{frame}{The Genode Operating System Framework} -\includegraphics[height=.25\textheight,keepaspectratio]{genode_logo.png}\\ -A toolkit for building operating systems\\ -\pause -Abstract OS service APIs\\ -\pause -Modular and reusable components\\ -\pause -Usermode device drivers\\ -\pause -Service multiplexers\\ -\pause -Language runtimes\\ -\pause -Virtual Machine Monitors\\ -\pause -Reducing the complexity of the trusted computing base is a first class concern\\ -\pause -\includegraphics[height=.20\textheight,keepaspectratio]{agpl-logo.png}\\ -\end{frame} - -\begin{frame} -Kernels -\begin{itemize} -\item NOVA - ~12,5 KLOC -\pause -\item Genode Core - ~25 KLOC -\pause -\item Genode Init - ~10 KLOC -\end{itemize} -\end{frame} - -\begin{frame} -\begin{center} - \includegraphics[height=.9\textheight,keepaspectratio]{solo5_tcb.png} -\end{center} -\end{frame} - -\begin{frame}{Distributed Functionality, Distributed Policy} -\begin{center} - \includegraphics[width=\textwidth,height=.8\textheight,keepaspectratio]{app_specific_tcb.pdf} -\end{center} -\end{frame} - -\frame{Demo} - -\begin{frame}{Sculpt} -\begin{center} - \includegraphics[width=\textwidth,height=.8\textheight,keepaspectratio]{sculpt_overview.png} -\end{center} -\end{frame} - -\end{document} diff --git a/themenabend/solo5_tcb.png b/themenabend/solo5_tcb.png deleted file mode 100644 index 064e1146d..000000000 Binary files a/themenabend/solo5_tcb.png and /dev/null differ diff --git a/themenabend/starfire.jpg b/themenabend/starfire.jpg deleted file mode 100644 index 005222607..000000000 Binary files a/themenabend/starfire.jpg and /dev/null differ diff --git a/themenabend/usb_armory.jpg b/themenabend/usb_armory.jpg deleted file mode 100644 index 608c6776a..000000000 Binary files a/themenabend/usb_armory.jpg and /dev/null differ diff --git a/themenabend/utah2000-cover.png b/themenabend/utah2000-cover.png deleted file mode 100644 index 90db98fbb..000000000 Binary files a/themenabend/utah2000-cover.png and /dev/null differ diff --git a/themenabend/utah2000-graph.png b/themenabend/utah2000-graph.png deleted file mode 100644 index 01f61b69f..000000000 Binary files a/themenabend/utah2000-graph.png and /dev/null differ