I consider servers to be human-facing systems. I more meant to account for the fact that L4 is used in Qualcomm modems and Minix is used for Intel ME. I would n

I consider servers to be human-facing systems. I more meant to account for the fact that L4 is used in Qualcomm modems and Minix is used for Intel ME. I would not consider either of those as human-facing.