Page 1 of 7 123 ... LastLast
Results 1 to 10 of 61

Thread: "The World's Most Highly-Assured OS" Kernel Open-Sourced

  1. #1
    Join Date
    Jan 2007
    Posts
    15,182

    Default "The World's Most Highly-Assured OS" Kernel Open-Sourced

    Phoronix: "The World's Most Highly-Assured OS" Kernel Open-Sourced

    The seL4 kernel that's an advanced, security-enhanced version of the L4 micro-kernel has been open-sourced by General Dynamics C4 Systems and NICTA...

    http://www.phoronix.com/vr.php?view=MTc1MTg

  2. #2

    Default

    Evil Corporate America®©™ strikes again.

  3. #3
    Join Date
    Mar 2011
    Posts
    222

    Default

    The Matrix now includes support for running SkyNet.

  4. #4
    Join Date
    Jul 2009
    Posts
    221

    Default

    What's it been assured of? Besides, a kernel is not an OS.

  5. #5
    Join Date
    Jan 2013
    Posts
    236

    Default

    I would be interested to know how many lines of code make up this kernel versus the Linux kernel.

    (I'm aware you can get this information fairly easily through Git, but I don't know how and I'm at work so haven't got time to research).

  6. #6
    Join Date
    Apr 2011
    Posts
    29

    Default

    Quote Originally Posted by kaprikawn View Post
    I would be interested to know how many lines of code make up this kernel versus the Linux kernel.

    (I'm aware you can get this information fairly easily through Git, but I don't know how and I'm at work so haven't got time to research).
    I didn't count the lines but tar.xz of Linux 3.15.7 is 79.7MB while zip of master branch for seL4 is 953.4kB

  7. #7
    Join Date
    Nov 2012
    Posts
    621

    Default

    Quote Originally Posted by Cyborg16 View Post
    What's it been assured of? Besides, a kernel is not an OS.
    Seem more like an abstraction layer between hardware and Linux rather than independent kernel.

  8. #8
    Join Date
    Feb 2012
    Location
    Kingston, Jamaica
    Posts
    316

    Default

    Quote Originally Posted by kaprikawn View Post
    I would be interested to know how many lines of code make up this kernel versus the Linux kernel.

    (I'm aware you can get this information fairly easily through Git, but I don't know how and I'm at work so haven't got time to research).
    About 7500 lines of code.

  9. #9
    Join Date
    Feb 2012
    Location
    Kingston, Jamaica
    Posts
    316

    Default

    Quote Originally Posted by Pawlerson View Post
    Seem more like an abstraction layer between hardware and Linux rather than independent kernel.
    Linux can be run in a vmm above this kernel but it is an independent (micro)kernel in itself.

  10. #10
    Join Date
    Jan 2013
    Posts
    236

    Default

    Quote Originally Posted by jayrulez View Post
    About 7500 lines of code.
    Thanks, wow that's quite something. A quick google search shows the Linux kernel was over 15million lines of code in 2011. I suppose it's a lot easier to keep code secure when there's so few moving parts.

    For limited use cases I'm sure this would be good to use. Though with so few lines of code I'm assuming there's no hardware drivers. Imagine getting wi-fi up-and-running using this!

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •