@@ -24,17 +24,49 @@ slideOptions:
2424 }
2525</style >
2626
27- # VirtualBox
27+ # Virtual machines with VirtualBox
2828
2929<img src =" https://upload.wikimedia.org/wikipedia/commons/f/ff/VirtualBox_2024_Logo.svg " width =20%; style =" margin-left :auto ; margin-right :auto ; padding-top : 25px ; padding-bottom : 25px " >
3030
3131---
3232
33- ## Introduction
33+ ## What is a Virtual Machine?
34+
35+ <img src =" https://raw.githubusercontent.com/Simulation-Software-Engineering/Lecture-Material/main/02_virtualization_and_containers/figs/virtualmachine-sketch.png " width =40%; style =" margin-left :auto ; margin-right :auto ; padding-top : 25px ; padding-bottom : 25px " >
36+
37+ - A computer inside your computer, with its own OS and resources
38+ - Virtual Machines are portable and flexible
39+
40+ ---
41+
42+ ## (Some) Features of Virtual Machines
43+
44+ - Exclusive access to some of your resources
45+ - Behaves like a native installation
46+ - Isolation from host operating system
47+ - Popular for
48+ - Safety critical tasks
49+ - Development and testing
50+ - Wherever one wants a portable solution
51+
52+ ---
53+
54+ ## Types of Hypervisors
55+
56+ - ** Type 1**
57+ - Runs directly on bare-metal hardware, like the host OS
58+ - Examples: [ Microsoft Hyper-V] ( https://docs.microsoft.com/en-us/virtualization/hyper-v-on-windows/about/ ) , [ VMware ESXi] ( https://www.vmware.com/products/esxi-and-esx.html ) , [ Xen] ( https://xenproject.org/ ) , [ KVM] ( https://en.wikipedia.org/wiki/Kernel-based_Virtual_Machine ) , ...
59+ - ** Type 2**
60+ - Negotiates resources shared with a host OS
61+ - Examples: [ VirtualBox] ( https://www.virtualbox.org/ ) , [ VMWare Workstation Player] ( https://www.vmware.com/products/workstation-player.html ) , [ Parallels] ( https://www.parallels.com/eu/products/desktop/ ) ...
62+
63+ ---
64+
65+ ## VirtualBox
3466
3567- Hosted hypervisor created by Innotek GmbH (Weinstadt, Germany)
3668- Obtained by Sun Microsystems in 2008. Since 2010, owned by Oracle
37- - Open source (GPLv3)
69+ - Free software (GPLv3)
3870
3971---
4072
@@ -50,14 +82,12 @@ slideOptions:
5082
5183---
5284
53- ## Virtual Hard Drive Formats
85+ ## Note on CPU architectures
5486
55- - Virtual hard drive as a file
56- - Multiple formats, for example:
57- - ** VDI** : "Virtual Disk Image", VirtualBox' native format
58- - ** VHD** : Format used by Microsoft
59- - ** VMDK** : VMWare's virtual disk format
60- - Support for dynamic allocation
87+ - VirtualBox runs both on x86 and ARM
88+ - ARM hosts need ARM VMs (no emulation)
89+ - Linux support limited/recent (e.g., Ubuntu 25.10)
90+ - Emulation alternative (very slow): [ UTM] ( https://mac.getutm.app/ )
6191
6292---
6393
@@ -89,21 +119,10 @@ Details available in [`virtualbox_demo.md`](https://github.com/Simulation-Softwa
89119
90120---
91121
92- # # Summary and Outlook
93-
94- - VirtualBox is an open-source system for virtual machines
95- - Simple to set up and run
96- - Manual setup, but command-line interface exists
97- - Next step: Infrastructure as code
98- - Consistency of the environment?
99- - How to share a VM image with others?
100-
101- > " If you can't git diff a file format, it's broken."
102-
103- ---
104-
105122# # Further Reading
106123
107124- [VirtualBox Manual](https://www.virtualbox.org/manual/UserManual.html)
125+ - [VirtualBox Manual: 1. First Steps](https://www.virtualbox.org/manual/ch01.html)
108126- [VirtualBox Manual: 4. Guest Additions](https://www.virtualbox.org/manual/ch04.html)
127+ - [VirtualBox Manual: 13. Security Guide](https://www.virtualbox.org/manual/ch13.html)
109128- [Overview of different disk formats](https://www.parallels.com/blogs/ras/vdi-vs-vhd-vs-vmdk/)
0 commit comments