[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: None
From: |
Andreas Rottmann |
Subject: |
Re: None |
Date: |
Wed, 21 May 2003 20:27:24 +0200 |
User-agent: |
Gnus/5.1002 (Gnus v5.10.2) Emacs/21.3 (gnu/linux) |
Farid Hajji <address@hidden> 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 | address@hidden | address@hidden | address@hidden
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!
- None, kusli, 2003/05/21
- Re: None, Farid Hajji, 2003/05/21
- Re: None,
Andreas Rottmann <=
- Re: None, Laurent Gualdi, 2003/05/21
- None, kusli, 2003/05/21
- None, kusli, 2003/05/21
- RE: None, Volkmar Uhlig, 2003/05/21