L4-based microkernel on Intel SCC

[Ramya Masti]

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.

Thanks,
Ramya