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) 1:

9) gia đình microkernel L4 [54] [55]: L4 OSs theo một nghiêm ngặtthiết kế microkernel và ban đầu được tạo ra để khắc phụchiệu suất kém của trước đó dựa trên microkernel OSs tronggiữa thập niên 1990. Việc triển khai sau này đã được thiết kếcho nền tảng độc lập, an ninh được cải thiện, cô lập, vàmạnh mẽ. Đạ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 với một tập trung cụ thểbảo mật, độ tin cậy và xác minh chính thức [56]. Tuy nhiên,Hầu hết L4 microkernel dựa trên OSs không phù hợp với những hạn chếthiết bị Class 1. Một ngoại lệ là F9 microkernel màmục tiêu cụ thể ARM Cortex-M3/M4 dựa trên thiết bị. Thời giannhiều thành viên trong gia đình này được cấp phép theo GPL hoặc BSDgiấy phép, không phải tất cả chúng đều mở nguồn.

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ở.