Pascal Vizeli 1219e80a3d Streamline CONFIG_RT_GROUP_SCHED (#2169) ...

* Disable RT_GROUP_SCHED

2022-10-06 23:55:33 +02:00

..

board

Streamline CONFIG_RT_GROUP_SCHED (#2169)

2022-10-06 23:55:33 +02:00

bootloader

Use GRUB bootloader for all UEFI platforms (#1762)

2022-02-24 13:42:17 +01:00

configs

Add OS-Agent 1.4.1 support (#2157)

2022-10-06 23:53:46 +02:00

kernel

Streamline CONFIG_RT_GROUP_SCHED (#2169)

2022-10-06 23:55:33 +02:00

ota

Check if GRUB environment is valid (#2031) (#2036)

2022-08-04 08:22:17 +02:00

package

Add OS-Agent 1.4.1 support (#2157)

2022-10-06 23:53:46 +02:00

patches

Do not send excessive DNS queries for online checks (#2100) (#2101)

2022-08-31 23:35:41 +02:00

rootfs-overlay

Connectivity check interval to 10 minutes (#2127)

2022-09-13 14:24:35 +02:00

scripts

Drop NetworkManager default config (#1813)

2022-03-25 08:53:30 +01:00

busybox.config

Cleanup Buildroot package for Raspberry Pi Bluetooth support (#1846)

2022-04-14 18:26:06 +02:00

Config.in

Add support for rtl8821cu WiFi Dongle (#1899)

2022-05-16 11:26:05 +02:00

external.desc

Rename OS (#16)

2018-05-14 22:37:39 +02:00

external.mk

Rename OS (#16)

2018-05-14 22:37:39 +02:00

meta

Set deployment type to production

2022-09-13 14:32:14 +02:00