Proiectum explicans apertam seL4 microkernel accepit ACM Software System Award, a Associatione pro computatione Machinery quotannis consideratum (ACM), gravissimum organizationem internationalem in campo systematis computatorii. Praemium ob res gestas in campo mathematico probatione certae operationis redditur, quae plenam obsequium demonstrat specificationibus in lingua formali determinatis et promptum ad usum in applicationibus missionum criticarum agnoscit. Consilium seL4 demonstravit non solum posse plene comprobare fidem et securitatem solidorum consiliorum industrialium operandi, sed etiam hoc assequi, sine ullo discrimine ac versatilitate perficiendi.
Systema ACM Software Award quotannis exhibetur ad cognoscendum progressum systematum programmatum quae definitive ictum in industria habuerunt, novas notiones inducens vel novas applicationis commercialis areas aperiens. Quantitas laudum est XXXV milia dollariorum. Praeteritis annis, ACM praemiis GCC et LLVM inceptis donata sunt, eorumque conditores Richard Stallman et Chris Latner. Award etiam talia incepta et technologias agnoverunt ut UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Fac, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Codicillus, Berkeley DB et Eclipsis .
Architectura microkernel seL4 notabilis est ad partes movendas ad facultates nucleos in spatio usoris administrandi et eundem accessum moderandi instrumenta pro talibus facultatibus utendi ac pro facultatibus usoris. Microkernel paratus non praebet abstractiones praeparatas altas ad files administrandi, processus, nexus retis et similia, sed minimas mechanismos tantum praebet ut accessum ad spatium electronicum refrenandum, interruptum et processum facultates. Summus gradus abstractiones et aurigae ad mutuas cum ferramentis exsequuntur separatim super microkernel in forma usoris-gradi operis. Accessus talium operum ad facultates microkernel per definitionem regularum ordinatur.
Source: opennet.ru