L4-based microkernel on Intel SCC

Julian Stecklina jsteckli at os.inf.tu-dresden.de
Thu Jun 5 11:47:32 CEST 2014

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

Version: GnuPG v2.0.22 (GNU/Linux)


More information about the l4-hackers mailing list