@fla I already wrote them for another reason (make microkernel an HPP) I was only waiting to understand what is the foundation and community will about all this (so also to gain some time between the two email)
but I fear UT is not listed in the HPP because, as said by Replicant:
" Many mobile operating systems are mostly free software (e.g. Android, Firefox OS, Ubuntu Touch, Tizen), as they use the Linux kernel, a free framework and ship with free base applications. However, the user-space hardware abstraction layers are for the most part proprietary (it varies from one device to another) and they also ship with proprietary loaded firmwares for various integrated circuits. Every piece of proprietary software running on the system is a risk for privacy/security as they can offer remote access back-doors and compromise the rest of the system."
And also
" None of these mostly-free systems have a clear policy to reject proprietary software and not advocate its use, except for Replicant. "
PS: are we using a user-space abstraction layer? I thought the abstraction layer was between the hardware and the kernel, so a kernel-space abstraction layer