[Barrelfish-users] Running the simulator.c program on Barrelfish

Stefan Kaestle stefan.kaestle at inf.ethz.ch
Mon Mar 23 16:23:34 CET 2015


Hi Kevin,

can you show us your menu.lst file? How do you want to execute programs? 
>From the shell?

Cheers,
  Stefan

On 03/23/2015 04:20 PM, Simon Gerber wrote:
> Hi Kevin,
>
> I'm not sure what you mean by being able to run any files outside the
> usr/example folder.
>
> The simulator.c program in schedsim is a simulator for our OS scheduler that
> is intended to be run on Linux.  To run it, you can do the following in a
> build tree:
>
> make schedsim-check
>
> The include file barrelfish_kpi/capbits.h is generated by the capabilities DSL
> compiler and can be found in
>
> /path/to/build/tree/x86_64/include/barrelfish_kpi/capbits.h
>
> However the scheduler simulator is not the main component of Barrelfish,
> usually we run a selection of programs which can be found in usr/tests/ or
> usr/ on Barrelfish either in qemu or on real hardware.
>
>
> Hope this helps,
> -- Simon
>
>
> On 23.03.2015 15:53, Kevin Thomas Mathew wrote:
>> Hello
>>
>> I have extracted the Barrelfish bundle and have been able to execute the example programs in qemu. I am not able to run any files outside the usr/example folder though, I have even tried copying the simulator.c program found in schedsim inside the tools folder to examples and changing the hake file but it hasn't worked. could domeone please walk me through how I could execute that simulator program?
>>
>>
>> another problem i face is that the program calls for the schedulerbed.c file which uses dispatch.h and following the trail of header files, i am stuck because I cannot find barrelfish_kpi_capbits.h anywhere. help please?
>>
>>
>>
>> _______________________________________________
>> Barrelfish-users mailing list
>> Barrelfish-users at lists.inf.ethz.ch
>> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
>>
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users

-- 
Stefan
http://people.inf.ethz.ch/skaestle/




More information about the Barrelfish-users mailing list