Integration

This page describes the integration process which leads to the creation of a product.

Glossary

Term	Meaning
Dom0	The Domain0 is the virtual machine in charge of the orchestration of other VMs and the communication capabilities
Domain or DomU	A domain is a virtual machine hosted by the Xen hypervisor
DomD or Domain Driver	A DomD is a specialized domain dedicated to managind a specific hardward resource (GPU, USB, etc)

Topology and security mechanisms

The first this to understand is the topology and the security mechanisms. Security mainly relies on isolation of the functions inside the system. This, accessing (read and copy) of external drives connected on USB is handled by a specific virtual machine called a Driver Domain (DomD). In Safecor this DomD is named sys-usb.

Designing a product upon Safecor is mainly a matter of urbanization of the functions. When dealing with machine resources you will call Safecor core functions. When dealing with user interactions and other business functions you will build your own virtual machines.

Defining the topology

The topology can be defined in a file located at /etc/safecor/topology.json. The DomD are fixed, you can only modify some settings. In this file you will be able to set your own domains and the Alpine package which will be deployed inside.

We strongly encourage to urbanize the system with this rule in mind : One function per domain.

The file topology.json lets you to define the domains list and the relations between them, in the case you want to establish communication channels between your domains or to send/receive messages or inputs.

See topology documentation for details about the file format.

Create a product

Creating a product is mainly a matter of :

• creating a main Alpine package defining the topology of the system.
• creating different specific Alpine packages for the business functions.

Alpine packages

The main package of the product is in charge of:

• defining the topology of the system by providing a topology.json file
• listing all the dependencies with other packages.

Main package

APKBUILD

The depends parameter file must contain safecor-core.

Post install

The post install script of the package must call the script /usr/lib/safecor/bin/post-install.sh. This will create the virtual machines, create the local repository, start the core services and make the system ready, including the GUI.

GUI package

The GUI must be provided into 2 packages :

• One package in charge of creating the Domain.
• One package in charge of deploying the GUI into the Domain.
  • The package must depend on safecor-gui-base.

Data sources

The system needs to download dependencies (packages, configuration) on different sources.

The file /etc/safecor/constants.sh defines the default sources :

Constant	Default value	Description
ALPINE_VERSION	3.20	Defines the Alpine version to use with the product. The URL of the packages repository depends on this constant
Safecor_PUBLIC_REPOSITORY	https://alefbet.net/github/safecor	Defines the place where the Safecor packages are stored. Can be a local server.
ALPINE_PUBLIC_ROOT	http://dl-cdn.alpinelinux.org/alpine	Defines the URL of the official Alpine mirror used to download Alpine packages

You can override these parameters to match your needs.

Splash screen

A splash screen is automatically shown during the boot. By default, the splash screen is Safecor's but it can be easily replaced by the product's splash screen by providing a png image in /boot/splash.pnh.

The splash screen will be automatically created by Safecor during the boot from scratch by creating a full screen image with a filled background, then the image provided will be added as a layer in the center.

The color for the background can be defined in the file topology.json in the field product.splash_bgcolor as an rgb hex string (for example #1ca9f7).

Compatibiliy with the hardware

Safecor provides a versatile environment compatible with different hardware (PC, tablets). Perhaps you will need to deploy the system on a new hardware or a hardware with which Safecor is not yet compatible.

This section provides information on the integration process on a new hardware.

Enumerate the components

You need to gather the list of hardware components:

• CPU
• GPU
• PCI buses

This can be done by booting on any Linux Live CD and use both lcpci and lshw tools.

Blacklist a PCI USB bus

Use cases :

• On some hardware, there are PCI USB buses which cannot be grabbed by XEN and therefore cannot be captured by the sys-usb DomD in PCI passthrough.
• For security reasons you want to avoid a PCI bus to be used by the system.

That PCI bus must be blacklisted in the topology.json file of the product this way:

{
    "pci": {
        "blacklist": "00:0d.0"
    }
}

This section blacklists the PCI bus 0000:00:0d.0 which won't be captured by sys-usb nor the Dom0.