-
Overview
-
redpesk OS releases
-
Security updates
-
Application Framework Manager
-
Application Framework Binder
-
APIs & Services
-
Security manager
-
OP-TEE within redpesk
-
Trusted Boot
-
Recovery features
-
redpak
-
Minimal image
- Reduce image size
- Optimizing boot time
-
Kernel fragments description
- Introduction to Linux Kernel Configuration
- 01 Disable IPC, Timers and Audit
- 02 Disable Kconfig, Scheduler and Initrd
- 03 Disable Perf, Profiling and Errata
- 04 Disable EFI, Power Management Debug and Energy Model
- 05 Disable Schedutil, CPUFreq Governors and Virtualization
- 06 Disable Kprobes and Jump Labels
- 07 Disable GCC Plugins and Function Alignment
- 08 Disable Partition Parsers
- 09 Enable Inline Spinlocks and Kernel Operations
- 10 Disable Swap, Memory Hotplug and KSM
- 11 Disable Networking IPv4, IPv6, Netfilter
- 12 Disable SCTP, VLAN, TIPC, BATMAN
- 13 Disable Wireless, Bluetooth, CAN and RFKILL
- 14 Disable PCI and Firmware
- 15 Disable GNSS and ProcEvents
- 16 Disable Block Storage NBD and AoE
- 17 Disable EEPROM and Misc Drivers
- 18 Disable Network Device Drivers
- 19 Disable PHY Drivers
- 20 Disable PPP, WLAN Coexistence, and Failover
- 21 Disable Input Devices
- 22 Disable Serial, TTY and TPM
- 23 Disable I2C, Power and Sensor Drivers
- 24 Disable MFD, Display and Media Drivers
- 25 Disable USB, Sound, RTC and VirtIO
- 26 Disable Filesystem Encodings and Compatibility
- 27 Enable Minimal Cryptographic Core with SHA3 and XTS
- 28 Disable Hardware Cryptography, Keep DRBG and Jitter Entropy
- 29 Disable Kernel Debugging Features
- 30 Disable Filesystem Verity and SecurityFS
-
Zephyr in Redpesk
-
PERM-CHECK extension
-
Mender redpesk (OTA)
-
Hardware support
- Download images
- Image metrics
- Trusted Boot
- Boards - ARM64
- Boards - x86_64
- Boards - Virtual
- Miscs
Some metrics about redpesk OS
Image size
Here are some characteristics of the redpesk OS images you will generally find:
- Packages number :
- generic images : ~ 430
- Custom aarch64 BSP : ~ 380
- Estimated image size :
- generic images :
- x86_64 : ~ 316 MB
- aarch64: ~ 524 MB
- Custom aarch64 BSP : ~ 275 MB
- generic images :
Please note that we have some recommendations on things to do for reducing redpesk OS image’s size.
Boot time
- Minimal redpesk OS image: ~ 2-15s (with bootloader)
- Measures detailed on the dedicated page here.
- Default redpesk OS boot sequence: ~ 10-15s (with bootloader)
- Boot example within QEMU of redpesk OS batz-2.1-update (x86_64) :
[root@localhost ~]# systemd-analyze Startup finished in 947ms (kernel) + 1.358s (initrd) + 7.589s (userspace) = 9.896s multi-user.target reached after 2.635s in userspace. - Boot example on Solidrun Solidsense Compact N8 using redpesk OS batz-2.1-update (aarch64) :
Startup finished in 2.949s (kernel) + 14.013s (userspace) = 16.963s multi-user.target reached after 12.716s in userspace
- Boot example within QEMU of redpesk OS batz-2.1-update (x86_64) :
Obviously this may change depending on your application needs, your systemd services, bootloader configuration, hardware, etc.
Please note that we have some recommendations on things to do for optimizing redpesk OS boot time.
Partitioning
- A redpesk OS is made with some « default partitions » that are mandatory, others optional:
| Partition name | Size (MB) *** | Mount point | Writable ? | Needed ? |
|---|---|---|---|---|
| Boot | 200 | /boot | RO * | Mandatory |
| Persistent Configuration | 50 | /config | RW | Optional ** |
| Recovery Data | 500 | /recovery | RO | Optional ** |
| Root File System | 2700 | / | RO * | Mandatory |
| User Data | 500 | /data |
RW | Optional ** |
- For details about partitioning architecture, please go to OTA chapter, design section
NOTES:
Data are a mean of all boards images and took from redpesk OS arz-1.1.0.
*: For development purpose, partition is let as RW. RO should be enabled but it is NOT by default.
**: Mentioned partition can be removed depending on user’s needs (and disabled features). See custom image creation documentation.
***: Image size is 3950 MB by default to fit 4GB MMC/SD card size but could be downsized to 2 GB without disabling features. For smaller image size, please contact the support team. Default root password isroot. This can be changed within the kickstart. See section “modify the root password” in documentation.