Second, drivers have been shown to

Second, drivers have been shown to be the source of many kernel errors [82], so the ability
to remove them from the trusted computing base would improve software correctness. Further, in
this architecture, new I/O devices can be added without modifying the kernel or the SPM, so the
system’s extensibility does not suffer from this approach

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

Thứ hai, trình điều khiển đã được chứng minh được nguồn gốc của nhiều hạt nhân lỗi [82], vì vậy khả năngđể loại bỏ chúng khỏi máy tính đáng tin cậy cơ sở sẽ cải thiện phần mềm đúng đắn. Hơn nữa, trongkiến trúc này, thiết bị mới I/O có thể thêm vào mà không sửa đổi các hạt nhân hoặc SPM, do đó, cáckhả năng mở rộng của hệ thống không ảnh hưởng từ cách tiếp cận này

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

Thứ hai, trình điều khiển đã được chứng minh là nguồn gốc của nhiều lỗi hạt nhân [82], vì vậy khả năng
để loại bỏ chúng khỏi cơ sở tính toán đáng tin cậy sẽ cải thiện phần mềm đúng đắn. Hơn nữa, trong
kiến trúc này, tôi mới / O thiết bị có thể được thêm vào mà không sửa đổi các hạt nhân hoặc các SPM, do đó
khả năng mở rộng của hệ thống không bị tiếp cận này