These kernels could be for _any_ operating system that runs on the hardware, e.g., NetBSD
A. This already exists
B. This does not exist
These kernels could be for _any_ operating system that runs on the hardware, e.g., NetBSD
A. This already exists
B. This does not exist