Re: PATCH: booting OSKit kernels

[Jens Nerche]

>What's the problem ?
No problem, I just wanted to know whether it's easier and faster
to calculate the cpl when needed or to store it in a variable.
As a first try I added a guest_ring_nr, before I found the guest_cpl
you pointed out (my glasses should be checkt... ;( )

jens