Резултати за: seL4

.td_uid_42_5c98a6afdd5ba_rand.td-a-rec-img{text-align:left}.td_uid_42_5c98a6afdd5ba_rand.td-a-rec-img img{margin:0 auto 0 0}След една година разработване бе представена операционната система Redox 0.5, написана с използването на езика за програмиране...

Компанията General Dynamics C4 Systems и австралийският изследователски център NICTA откриха със свободен лиценз сорс-кодовете на микроядрото seL4 (Secure Embedded L4). Това ядро е предназначено за създаване на изключително надеждни операционни систе...