pok-kernel.github.io/index.html at master · pok-kernel/pok-kernel.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
<!DOCTYPE html>
<html>

  <head>
  <meta charset="utf-8">
  <meta http-equiv="X-UA-Compatible" content="IE=edge">
  <meta name="viewport" content="width=device-width, initial-scale=1">

  <title>POK, a real-time kernel for secure embedded systems</title>
  <meta name="description" content="Website of the POK partitioned operating system
">

  <link rel="stylesheet" href="/css/main.css">
  <link rel="canonical" href="http://pok-kernel.github.io/">
  <link rel="alternate" type="application/rss+xml" title="POK, a real-time kernel for secure embedded systems" href="http://pok-kernel.github.io/feed.xml">
</head>


  <body>

    <header class="site-header">

  <div class="wrapper">

      <a class="site-title" href="/">POK, a real-time kernel for secure embedded systems</a>

    <nav class="site-nav">
      <a href="#" class="menu-icon">
        <svg viewBox="0 0 18 15">
          <path fill="#424242" d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.031C17.335,0,18,0.665,18,1.484L18,1.484z"/>
          <path fill="#424242" d="M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0c0-0.82,0.665-1.484,1.484-1.484 h15.031C17.335,6.031,18,6.696,18,7.516L18,7.516z"/>
          <path fill="#424242" d="M18,13.516C18,14.335,17.335,15,16.516,15H1.484C0.665,15,0,14.335,0,13.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.031C17.335,12.031,18,12.696,18,13.516L18,13.516z"/>
        </svg>
      </a>

      <div class="trigger">
        <a class="page-link" href="/documentation/">documentation</a>
        <a class="page-link" href="/usage/">download & quick start</a>
        <a class="page-link" href="/faq/">faq</a>
        <a class="page-link" href="/about/">about</a>
        <a class="page-link" href="https://github.com/pok-kernel/pok">github</a>
      </div>
    </nav>

  </div>

</header>


    <div class="page-content">
      <div class="wrapper">
        <div class="home">
<p>
POK is a real-time embedded operating system for safety-critical systems.
It relies on a micro-kernel architecture that isolates applications and
drivers in time and space.
It is compatible with <a href="https://en.wikipedia.org/wiki/POSIX">POSIX</a> and
<a href="https://en.wikipedia.org/wiki/ARINC_653">ARINC653</a>.
</p>

<p>
The kernel was designed to be very small and targets full
verification/certification: more than 90% of the kernel code if covered.
It currently runs on x86, PowerPC and Leon architectures.
</p>

<p>
<strong>Important security information (september 2018)</strong>
On September 12 2018, we have been made aware of a vulnerability in
POK by Stephane Duverger from Airbus Group CERT. Theres is the
description of the vulnerability:
<em>"
The POK micro-kernel is vulnerable to partition space segregation overflow vulnerability due to failure to properly validate user provided pointers during system calls.
As a consequence, a malicious user partition code is able to read and/or write out of the memory space dedicated to its partition."
</em>
We are currently working actively to provide a patch that will
be committed within the next few days. We wanted to
make the POK community aware of this issue. We would
like to thank Stephane for helping the POK community.
</p>
<p>
   You can read about the security disclosure
   here <a href="https://github.com/pok-kernel/pok/issues/9">on the issue
       tracker</a>.
</p>


</div>

      </div>
    </div>

    <footer class="site-footer">

  <div class="wrapper">

    <div class="footer-col-wrapper">
      <div class="footer-col footer-col-1">
        <ul class="contact-list">
          <li><a href="mailto:pok@gunnm.org">pok@gunnm.org</a></li>
        </ul>
      </div>

      <div class="footer-col footer-col-2">
        <ul class="social-media-list">

          <li>
            <a href="https://github.com/pok-kernel"><span class="icon icon--github"><svg viewBox="0 0 16 16"><path fill="#828282" d="M7.999,0.431c-4.285,0-7.76,3.474-7.76,7.761 c0,3.428,2.223,6.337,5.307,7.363c0.388,0.071,0.53-0.168,0.53-0.374c0-0.184-0.007-0.672-0.01-1.32 c-2.159,0.469-2.614-1.04-2.614-1.04c-0.353-0.896-0.862-1.135-0.862-1.135c-0.705-0.481,0.053-0.472,0.053-0.472 c0.779,0.055,1.189,0.8,1.189,0.8c0.692,1.186,1.816,0.843,2.258,0.645c0.071-0.502,0.271-0.843,0.493-1.037 C4.86,11.425,3.049,10.76,3.049,7.786c0-0.847,0.302-1.54,0.799-2.082C3.768,5.507,3.501,4.718,3.924,3.65 c0,0,0.652-0.209,2.134,0.796C6.677,4.273,7.34,4.187,8,4.184c0.659,0.003,1.323,0.089,1.943,0.261 c1.482-1.004,2.132-0.796,2.132-0.796c0.423,1.068,0.157,1.857,0.077,2.054c0.497,0.542,0.798,1.235,0.798,2.082 c0,2.981-1.814,3.637-3.543,3.829c0.279,0.24,0.527,0.713,0.527,1.437c0,1.037-0.01,1.874-0.01,2.129 c0,0.208,0.14,0.449,0.534,0.373c3.081-1.028,5.302-3.935,5.302-7.362C15.76,3.906,12.285,0.431,7.999,0.431z"/></svg>
</span><span class="username">pok-kernel</span></a>

          </li>


        </ul>
      </div>

      <div class="footer-col footer-col-3">
        <p style="text-align: right;">copyright 2018 POK team</p>
      </div>
    </div>

  </div>

</footer>


  </body>

</html>