Just when you posted your recomendation for xenomai-2.1-rc3 I found the answer ! Nothing wrong with my configuration, just the src/skins/vxworks/Makefile.am from release xenomai-2.1-rc2 is wrong (does not create the symbolic links to ksrc-sources). Taking the same file from xenomai-2.1-rc3 and everything is fine ! Nevertheless : Thank you for your help !!!
> -----Ursprüngliche Nachricht----- > Von: [EMAIL PROTECTED] > [mailto:[EMAIL PROTECTED] Im Auftrag von > [EMAIL PROTECTED] > Gesendet: Donnerstag, 23. Februar 2006 12:02 > An: [email protected] > Betreff: [Xenomai-help] Newbie Question : Compile vxWorks > test programm > > Gilles Chanteperdrix wrote : > > > > libvxworks is generated only when UVM are enabled. You need > to enable > > building the UVM skin as a kernel module using menuconfig, > and build > > user-space libraries for the UVM skin using the configure option > > --enable-uvm. > > > > Dear Gilles thank you for your support. > Unfortunatelly libvxworks is not build, even when I act as > you suggested. > This is what I did : > > - make menuconfig with kernel > ==> .config entries as follows : > > { > > # > # Real-time sub-system > # > CONFIG_XENOMAI=y > CONFIG_XENO_OPT_NUCLEUS=y > > # > # Nucleus options > # > CONFIG_XENO_OPT_PERVASIVE=y > CONFIG_XENO_OPT_PIPE=y > CONFIG_XENO_OPT_PIPE_NRDEV=32 > CONFIG_XENO_OPT_SYS_HEAPSZ=128 > # CONFIG_XENO_OPT_ISHIELD is not set > # CONFIG_XENO_OPT_STATS is not set > # CONFIG_XENO_OPT_DEBUG is not set > # CONFIG_XENO_OPT_WATCHDOG is not set > > # > # Scalability options > # > # CONFIG_XENO_OPT_SCALABLE_SCHED is not set > > # > # LTT tracepoints filtering > # > # CONFIG_XENO_OPT_FILTER_EVIRQ is not set # > CONFIG_XENO_OPT_FILTER_EVTHR is not set # > CONFIG_XENO_OPT_FILTER_EVSYS is not set # > CONFIG_XENO_OPT_FILTER_EVALL is not set > > # > # Interfaces > # > CONFIG_XENO_SKIN_NATIVE=y > > # > # Native interface options > # > CONFIG_XENO_OPT_NATIVE_REGISTRY=y > CONFIG_XENO_OPT_NATIVE_REGISTRY_NRSLOTS=512 > CONFIG_XENO_OPT_NATIVE_PIPE=y > CONFIG_XENO_OPT_NATIVE_PIPE_BUFSZ=4096 > CONFIG_XENO_OPT_NATIVE_SEM=y > CONFIG_XENO_OPT_NATIVE_EVENT=y > CONFIG_XENO_OPT_NATIVE_MUTEX=y > CONFIG_XENO_OPT_NATIVE_COND=y > CONFIG_XENO_OPT_NATIVE_QUEUE=y > CONFIG_XENO_OPT_NATIVE_HEAP=y > CONFIG_XENO_OPT_NATIVE_ALARM=y > CONFIG_XENO_OPT_NATIVE_MPS=y > CONFIG_XENO_OPT_NATIVE_INTR=y > CONFIG_XENO_SKIN_POSIX=m > CONFIG_XENO_SKIN_RTDM=y > CONFIG_XENO_SKIN_UVM=m > CONFIG_XENO_SKIN_PSOS=m > CONFIG_XENO_SKIN_VXWORKS=m > # CONFIG_XENO_SKIN_VRTX is not set > # CONFIG_XENO_SKIN_UITRON is not set > CONFIG_XENO_SKIN_RTAI=m > > # > # RTAI interface options > # > CONFIG_XENO_OPT_RTAI_FIFO=y > CONFIG_XENO_OPT_RTAI_SEM=y > CONFIG_XENO_OPT_RTAI_SHM=y > > # > # Real-time drivers > # > # CONFIG_XENO_DRIVERS_16550A is not set > CONFIG_XENO_DRIVERS_TIMERBENCH=y > > # > # Machine > # > CONFIG_XENO_HW_FPU=y > # CONFIG_XENO_HW_PERIODIC_TIMER is not set > CONFIG_XENO_HW_TIMER_LATENCY=0 CONFIG_XENO_HW_SCHED_LATENCY=0 > > } > > -- configure within xenomai-directory > ./configure --enable-uvm --prefix=`pwd` --host=ppc-linux ==> > attached config.log > > -- make ARCH=ppc CROSS_COMPILE=ppc_82xx- > > -- make install-nodev > > ==> no vxworks-Library > > could you please have a look on the config.log, whether you > can find an obvious mistake. > > Thank you very(!) much for your help in advance Roderik > _______________________________________________ Xenomai-help mailing list [email protected] https://mail.gna.org/listinfo/xenomai-help
