None

[Andreas Rottmann]

Farid Hajji <farid.hajji at ob.kamp.net> writes:

>> Many thanks for your help, I'm sorry if this seems dumb but I really am
>> confused with all the different parts of l4ka and l4hurd. As soon as I
>> get all of this working, I am going to put together a complete guide to
>> setting up bochs with l4ka, combining all of the above resources. That's
>> *if* I get it working, and understand why!
>
> You may want to try running L4Ka::Pistachio/x86 under the most recent
> bochs. We're planning to implement l4hurd on top of Pistachio, not
> Hazelnut.
>
I tried that, and FWICT, Pistachio needs the VME processor capapbility
(virtual mode extensions, see
http://x86.ddj.com/articles/vme1/vme_overview.htm), which bochs
doesn't provide. 

here is the relevant code (pistachio/kernel/src/glue/v4-ia32/init.cc):

---------------------
/**
 * checks the IA32 features (CPUID) to make sure the processor
 * has all necessary features */
static void SECTION(".init.cpu") check_cpu_features()
{
    u32_t req_features = IA32_FEAT_FPU | IA32_FEAT_VME | IA32_FEAT_PSE;
[...]
    if ((req_features & avail_features) != req_features)
    {
        printf("CPU does not support all features (%x) -- halting\n", req_features);
-------


I wonder why Pistachio needs VME, however. Maybe someone can give a
hint?

Regards,
        Andy
-- 
Andreas Rottmann         | Rotty at ICQ      | 118634484 at ICQ | a.rottmann at gmx.at
http://www.8ung.at/rotty | GnuPG Key: http://www.8ung.at/rotty/gpg.asc
Fingerprint              | DFB4 4EB4 78A4 5EEE 6219  F228 F92F CFC5 01FD 5B62

Make free software, not war!