Des "embedded kernels", il faut en mettre un certain nombre, avant d'arriver à prendre la place que prennent PreOS et les quelques libs de base

Une partie des "embedded kernels" est d'ailleurs due, malheureusement, à une ""feature"" du kernel-based, à savoir les BSS, introduite par TIGCC 0.95. Ca, c'est vraiment nul au niveau efficacité.