[okl4-developer] error when porting

[Nelson Tam]

Hi Gabi,

On 13/03/2008, at 12:37, Gabi Voiculescu wrote:

> I also would like to ask if there is a driver than can give me  
> console access once I finish the port (I currently want to use  
> l4_kdb but don't know if it needs some additional work after I  
> properly port console.cc)

l4_kdb is the easiest way you can get console access for now, until  
you have time to write the serial driver for whatever platform you're  
porting to.

> <snip>
>
> Now I get the following error and don't know how to fix it:
> tools/build.py machine=arm11 project=iguana example=naming
> ...
> [AR  ] build/iguana/lib/librange_fl.a
> [LIB ] build/iguana/lib/librange_fl.a
> [CC  ] build/iguana/ig_timer/object/src/main.o
> [CC  ] build/iguana/include/interfaces/timer_serverloop.o
> [LINK] build/iguana/bin/ig_timer
> arm-linux-ld: cannot find -limx31_timer
> scons: *** [build/iguana/bin/ig_timer] Error 1
> scons: building terminated because of errors.

Your arm11 machine is not configured properly.  Try either of the  
following:

1. Within class arm11(), define a variable drivers[] to include all  
the drivers you want to build:

   drivers = [timer_driver, serial_driver]

However I'm not sure if you really want to use the imx timer driver  
for your platform.  Therefore:


2. Refrain from build the timer driver for now:

   # timer_driver = "imx31_timer"  <-- THIS IS DISABLED FOR NOW
   serial_driver = "l4_kdb"

   drivers = [serial_driver]

Once you have written a timer driver for your platform, you can go  
back to option 1.

> class arm11(arm1176jzs):
>     virtual = False
>     platform = "arm11"
>     platform_dir = "arm11"
>     skyeye = "arm11.skyeye"
>     memory = arm1176jzs.memory.copy()
>     memory['physical'] = [(0x00008000L, 0x08000000L)]
>
>     timer_driver = "imx31_timer"
>     serial_driver = "l4_kdb"
>
>     run_methods = {"skyeye" : skyeye_sim}
>     default_method = "skyeye"

Cheers,
Nelson.