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
config.log
Description: config.log
