-----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