9) L4 microkernel family [54], [55]

9) L4 microkernel family [54], [55]: L4 OSs follow a strict
microkernel design and were originally created to overcome
the poor performance of earlier microkernel-based OSs in
the mid-1990s. Later implementations have been designed
for platform independence, improved security, isolation, and
robustness. A well-known representative of this family is seL4,
developed in 2006 by the NICTA group with a particular focus
on security, reliability, and formal verification [56]. However,
most L4 microkernel based OSs do not match the constraints
of Class 1 devices. An exception is the F9 microkernel that
targets particular ARM Cortex-M3/M4 based devices. While
many members of this family are licensed under GPL or BSD
license, not all of them are open source.

Kết quả (Việt) 2:

9) L4 microkernel gia đình [54], [55]: L4 HĐH theo một chặt chẽ
thiết kế microkernel và ban đầu được tạo ra để khắc phục
những yếu kém của đầu microkernel dựa trên các HĐH trong
giữa những năm 1990. Triển khai thực hiện sau đó đã được thiết kế
cho nền tảng độc lập, cải thiện an ninh, cách ly, và
mạnh mẽ. Một đại diện nổi tiếng của gia đình này là seL4,
phát triển vào năm 2006 bởi nhóm NICTA đặc biệt tập trung
vào bảo mật, độ tin cậy, và xác minh chính thức [56]. Tuy nhiên,
hầu hết microkernel L4 dựa OS không phù hợp với những hạn chế
của loại 1 thiết bị. Một ngoại lệ là microkernel F9 rằng
mục tiêu đặc biệt ARM Cortex-M3 / M4 thiết bị dựa. Trong khi
nhiều thành viên của gia đình này được cấp phép theo GPL hoặc BSD
giấy phép, không phải tất cả trong số họ đều là mã nguồn mở.