L4-based microkernel on Intel SCC
Julian Stecklina
jsteckli at os.inf.tu-dresden.de
Thu Jun 5 11:47:32 CEST 2014
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
On 06/04/2014 10:07 AM, Masti Ramya Jayaram wrote:
> Hi all,
>
> In fact, I am looking for a micro-kernel based hypervisor (like
> L4:pistachio or Fiasco) to run on the SCC. The only pointer I found
> was a port of Fiasco OS for Intel SCC recently
> (http://os.inf.tu-dresden.de/papers_ps/partheymueller-beleg.pdf)
> and would like to try this.
>
> I had a few questions though:
>
> a. Is the public version of fiasco compatible with the SCC? If not,
> is it possible to get it?
The only major problem is booting Fiasco on the SCC. You will have to
write a simple boot loader that uses the SCC's tools to write all the
boot modules into the SCC's memory. After that it is rather
straight-forward, except for the special page attributes the SCC
supports, if you want to do message passing.
Regarding the code, maybe Markus (CCed) knows more.
> b. Since SCC uses a different compiler set (much older than gcc
> 4.4), does the compilation work out of the box?
You don't need a special compiler for the SCC. Any version of gcc or
clang will work if you set the compilation target to Pentium.
> c. Finally, has anyone run L4Linux on top of the SCC?
Yes, I believe we did. Markus?
Btw, what do you want to achieve? The SCC is an abandoned and buggy
platform.
Julian
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.22 (GNU/Linux)
iEYEARECAAYFAlOQPLQACgkQ2EtjUdW3H9lyQwCfd9Ns2xw315Q2qc4uhhgZCi7S
A8IAoMg7+wQMrsMZpKg0ZYX47DlKh6E7
=6DLL
-----END PGP SIGNATURE-----
More information about the l4-hackers
mailing list