L4-based microkernel on Intel SCC

Ramya Masti rmasti at inf.ethz.ch
Thu Jun 5 15:06:48 CEST 2014

Markus Partheymueller <mpartheym <at> os.inf.tu-dresden.de> writes:

> The changes to the kernel have not been merged into upstream because
> they were very specific to the SCC and of little more generic use. But
> I can send you the patch if you want.
 That would be great! Also, do let me know the version of the compiler, 
fiasco and l4re you used just to be sure. Alternatively, the source tree 
will also work.

> Yes, you should be able to run almost every ELF binary (conditions may
> apply...) produced by the L4Re build system (make elfimage
> E=yourmoduleentry), including L4Linux. But I have to say that we did
> not have the time for looking into larger deployments at the time. In
> order to load and start ELF binaries on the SCC, I wrote an extension
> to the sccKit that was available then. The way it worked was like this:
> 1) Extract ELF according to the ELF headers and copy it to the SCC's
> memory
> 2) Place protected mode boot code and the reset vector in memory
> 3) Set up multiboot information structure (for memory maps)
> 4) Set up an I/O connection for providing serial connection with the core

1,2,3 are possible but 4 depends on the OS I guess. Send me this as well in 
any case and I will get back to you if I have problems.

> Now, if I remember correctly, a lot of improvement has been made to
> the sccKit and the whole interaction with the chip after I finished
> this project (virtual framebuffers, serial output, etc.). So I tend to
> doubt that this part of my (fairly outdated) work will be of any
> practical use to you. But you could of course have a look at it.

No problem. I will get back to you if I have problems.


More information about the l4-hackers mailing list