Can MPSoCBench porting L4se micro-kernel system?

[戴飞]

I am a computer science major postgraduate student in China and right now I am studying the heterogeneous multiprocessors embedded microkernel systems.So I would like to use MPSoCBench as the simulator and creat the heterogenous multiprossors  environment,then I want to use MPSoCBench transplant L4se micro-kernel system so that I can do research on it.

Again,my question is that if MPSoCBench are possible for L4se micro-kernel system?

[Rodolfo Azevedo]

Hi,

  It should be possible. Did you checked which processor L4se requires? This is the first step.

  The next one is to port it to run on a single core environment, to make it easy to start and latter move it to a multicore platform.

    Rodolfo

--
Rodolfo Jardim de Azevedo
http://www.ic.unicamp.br/~rodolfo
IC - UNICAMP

Em ter, 26 de set de 2017 às 00:02, 戴飞 <dfe...@gmail.com> escreveu:

I am a computer science major postgraduate student in China and right now I am studying the heterogeneous multiprocessors embedded microkernel systems.So I would like to use MPSoCBench as the simulator and creat the heterogenous multiprossors  environment,then I want to use MPSoCBench transplant L4se micro-kernel system so that I can do research on it.

Again,my question is that if MPSoCBench are possible for L4se micro-kernel system?

--
You received this message because you are registered to the group "MPSoCBench" Google Groups.
To post to this group, send email to mpsoc...@googlegroups.com
Visit this group http://groups.google.com/group/mpsocbench?hl=en
---
You received this message because you are subscribed to the Google Groups "MPSoCBench" group.
To unsubscribe from this group and stop receiving emails from it, send an email to mpsocbench+...@googlegroups.com.
To post to this group, send email to mpsoc...@googlegroups.com.
Visit this group at https://groups.google.com/group/mpsocbench.

--

--

Rodolfo Azevedo

University of Campinas - Brazil