Is there a minimum memory size for the kernel? Currently we are using 4GB of memory, do we need to increase this?
The minimum memory size for the kernel can vary depending on the specific system configuration and requirements. There is no fixed minimum requirement, as it depends on factors such as the number of cores, PCIe ECAM regions, SMMUs, and other hardware components in the system. Systems with more advanced features and components will generally require more memory for the kernel to operate effectively.
4GB of memory should be sufficient to run the system, assuming your system configuration is not extremely resource-intensive.