Fiasco built-in profiling

[Martin Pohlack]

Hi Stefan,

Just a quick reply for now:

[...]

> I'm cc'ing also Martin Pohlack, because I was told he is the man for
> profiling :).

I'm also reading l4-hackers.

[...]

> 2) Next, fiasco crashes executing this line of code:
> 
> s_scale = (int)(( (float) monsize / o ) * SCALE_1_TO_1);

You really should not do floating point stuff in the kernel.

Maybe you can activate the code path two lines below which uses only
integer math?

Cheers,
Martin