L4Ka::Pistachio Development

--20cf300fb37d73107904b4283534
Content-Type: text/plain; charset=ISO-8859-1

 I'm Robert Campbell. I'm recently started looking at operating system
development where I've taken an interest in the L4ka::Pistachio
microkernel.

I've noticed that there is not active development on the github project, so
I have the following questions/concerns that I would very much appreciate
if you could address:

1. Is there active research/development going on with regards to L4 v4 and
in particular Pistachio?

2. Looking at the page http://www.l4ka.org/99.php, I noticed the following:
Missing Features / Known Bugs
Lipc() not implemented (mapped to IPC)

for x86-64

and http://www.l4ka.org/94.php
Missing Features / Known Bugs
Lipc not implemented
IPC does not return local thread IDs on intra-address space IPC
Kernel crashes without warning on systems not supporting 4MB pages
A post-Pentium kernel crashes without warning on Pentium systems
Kernel-ptab synchronization has race on SMP systems
SMP support for pre-ACPI systems missing

Do these bugs/missing features still stand for the source in the github
repository?

3. Are there any plans to implement capability mechanisms in the kernel as
a basis for security like fiasco.OC, OKL4 etc...?

4. Are there any plans to implement an ARM kernel?

5. What are the technical advantages if any to the changes made in OKL4 and
Fiasco.OC respectively when compared to Pistachio as it stands (This one
might be a bit reaching so if you may skip it) ?

--20cf300fb37d73107904b4283534
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable


<div>I&#39;m Robert Campbell. I&#39;m recently started looking at operating=
 system development where I&#39;ve taken an interest in the L4ka::Pistachio=
 microkernel.=A0</div><div><br></div><div>I&#39;ve noticed that there is no=
t active development on the github project, so I have the following questio=
ns/concerns that I would very much appreciate if you could address:</div>

<div><br></div><div>1. Is there active research/development going on with r=
egards to L4 v4 and in particular Pistachio?</div><div><br></div><div>2. Lo=
oking at the page <a href=3D"http://www.l4ka.org/99.php">http://www.l4ka.or=
g/99.php</a>, I noticed the following:</div>

<div>Missing Features / Known Bugs <br>Lipc() not implemented (mapped to IP=
C)</div><div><br></div><div>for x86-64</div><div><br></div><div>and <a href=
=3D"http://www.l4ka.org/94.php">http://www.l4ka.org/94.php</a></div><div>

Missing Features / Known Bugs<br>Lipc not implemented <br>IPC does not retu=
rn local thread IDs on intra-address space IPC <br>Kernel crashes without w=
arning on systems not supporting 4MB pages <br>A post-Pentium kernel crashe=
s without warning on Pentium systems <br>

Kernel-ptab synchronization has race on SMP systems <br>SMP support for pre=
-ACPI systems missing</div><div><br></div><div>Do these bugs/missing featur=
es still stand for the source in the github repository?</div><div><br>
</div>
<div>3. Are there any plans to implement capability mechanisms in the kerne=
l as a basis for security like fiasco.OC, OKL4 etc...?</div><div><br></div>=
<div>4. Are there any plans to implement an ARM kernel?</div><div><br>
</div>
<div>5. What are the technical advantages if any to the changes made in OKL=
4 and Fiasco.OC respectively when compared to Pistachio as it stands=20
(This one might be a bit reaching so if you may skip it)
?</div><br><br>
<br>

--20cf300fb37d73107904b4283534--