使用微内核结构的操作系统有哪些？

以下是使用微内核结构的操作系统：

1. QNX
2. Minix
3. L4
4. Hurd
5. Symbian OS
6. PikeOS
7. OKL4
8. Fiasco.OC
9. seL4
10. Genode OS Framework

这些操作系统使用微内核结构，将操作系统的核心和服务分成小的模块，以提高系统的可靠性和灵活性。相比于使用单内核结构的操作系统，微内核结构可以更好地支持分布式系统、嵌入式系统和安全系统等应用场景。