Originally posted by pal666
View Post
Announcement
Collapse
No announcement yet.
seL4 Micro-Kernel Working Towards A General-Purpose, Multi-Server OS
Collapse
X
-
- Likes 2
-
Originally posted by pal666 View Postwill it save you from browser vulnerability? will you formally verify your browser?
Obviously having fewer kernel bugs doesn't solve all problems in other system components, but that doesn't mean that it's not worthwhile to use a kernel with fewer bugs.
- Likes 4
Leave a comment:
-
Originally posted by waxhead View PostI might be crashing the party ,but how about Minix 3 as an alternative?!
L4 family is already the Top 3, if not Top 1, widely deployed operating system, used by base stations, all iOS devices, etc.
Leave a comment:
-
Originally posted by wkleunen View PostseL4 is a really nice project, i don't understand why google is redeveloping a microkernel with Fuchsia, when such a well tested microkernel is readily available.
- Likes 7
Leave a comment:
-
seL4 is a really nice project, i don't understand why google is redeveloping a microkernel with Fuchsia, when such a well tested microkernel is readily available.
- Likes 3
Leave a comment:
-
Originally posted by pabloski View PostThe big problem is that the community ( especially the opensource one ) sees microkernels as slow. It is a big misconception
- Likes 3
Leave a comment:
-
This multi-server OS would be secure, support a range of use-cases and security policies, and perform comparable to monolithic systems
Leave a comment:
-
Originally posted by waxhead View PostI might be crashing the party ,but how about Minix 3 as an alternative?!
- Likes 3
Leave a comment:
-
Originally posted by waxhead View PostI might be crashing the party ,but how about Minix 3 as an alternative?!
- Likes 1
Leave a comment:
Leave a comment: