All of lore.kernel.org
 help / color / mirror / Atom feed
[parent not found: <E1HcIdR-0005wd-IK@snail.fsffrance.org>]
* [Xenomai-help] Xenomai suspends my kernel thread
@ 2007-04-12  9:09 Branko
  2007-04-12  9:16 ` Gilles Chanteperdrix
  0 siblings, 1 reply; 5+ messages in thread
From: Branko @ 2007-04-12  9:09 UTC (permalink / raw)
  To: xenomai

[-- Attachment #1: Type: text/plain, Size: 16237 bytes --]

Hello all!

 

I would be most grateful for your help.

 

I ported my PowerPC GNU/Linux C/C++ application to Xenomai.

When I ran the application everything looked fine.

However, with more intense data exchange, one of my interrupt handler
threads did not react any longer.

I looked at the /var/log/messages file and I saw that Xenomai suspended my
thread due to the exception 768.

 

According to https://mail.gna.org/public/xenomai-help/2006-11/msg00233.html
I disabled CONFIG_XENO_OPT_DEBUG 

from my kernel configuration, but the behaviour of my application did not
change.

 

Please find my kernel configuration bellow.

 

Looking forward to receiving your suggestions.

 

Best regards,

Branko  

 

 

 

#

# Automatically generated by make menuconfig: don't edit

#

# CONFIG_UID16 is not set

# CONFIG_RWSEM_GENERIC_SPINLOCK is not set

CONFIG_RWSEM_XCHGADD_ALGORITHM=y

CONFIG_HAVE_DEC_LOCK=y

 

#

# Code maturity level options

#

CONFIG_EXPERIMENTAL=y

# CONFIG_ADVANCED_OPTIONS is not set

 

#

# Loadable module support

#

CONFIG_MODULES=y

# CONFIG_MODVERSIONS is not set

CONFIG_KMOD=y

 

#

# Platform support

#

CONFIG_PPC=y

CONFIG_PPC32=y

# CONFIG_6xx is not set

# CONFIG_40x is not set

# CONFIG_44x is not set

# CONFIG_E500 is not set

# CONFIG_POWER3 is not set

# CONFIG_POWER4 is not set

CONFIG_8xx=y

# CONFIG_PPC_STD_MMU is not set

CONFIG_SERIAL_CONSOLE=y

CONFIG_NOT_COHERENT_CACHE=y

# CONFIG_ADDER_II is not set

# CONFIG_AMX860 is not set

# CONFIG_BSEIP is not set

# CONFIG_CCM is not set

# CONFIG_DBOX2 is not set

# CONFIG_DAB4K is not set

# CONFIG_FADS is not set

# CONFIG_FPS850L is not set

# CONFIG_FPS860L is not set

# CONFIG_HERMES_PRO is not set

# CONFIG_IP860 is not set

# CONFIG_IVML24 is not set

# CONFIG_IVMS8 is not set

# CONFIG_KUP4K is not set

# CONFIG_KUP4X is not set

# CONFIG_LANTEC is not set

# CONFIG_LWMON is not set

# CONFIG_MBX is not set

# CONFIG_MRS860 is not set

CONFIG_GPC=y

# CONFIG_NSCU is not set

# CONFIG_NC650 is not set

# CONFIG_PCU_E is not set

# CONFIG_QUANTUM is not set

# CONFIG_RBC823 is not set

# CONFIG_RMU is not set

# CONFIG_RPXCLASSIC is not set

# CONFIG_RPXLITE is not set

# CONFIG_SM850 is not set

# CONFIG_SPD823TS is not set

# CONFIG_TQM823L is not set

# CONFIG_TQM823M is not set

# CONFIG_TQM850L is not set

# CONFIG_TQM850M is not set

# CONFIG_TQM855L is not set

# CONFIG_TQM855M is not set

# CONFIG_TQM860M is not set

# CONFIG_TQM862M is not set

# CONFIG_TQM860L is not set

# CONFIG_UC100 is not set

# CONFIG_VIPER860 is not set

# CONFIG_WINCEPT is not set

# CONFIG_TQM8xxL is not set

# CONFIG_ALL_PPC is not set

# CONFIG_SMP is not set

# CONFIG_MATH_EMULATION is not set

CONFIG_EMBEDDEDBOOT=y

 

#

# General setup

#

# CONFIG_BIGPHYS_AREA is not set

# CONFIG_HIGHMEM is not set

CONFIG_HIGHMEM_START=0xfe000000

CONFIG_LOWMEM_SIZE=0x30000000

CONFIG_KERNEL_START=0xc0000000

CONFIG_TASK_SIZE=0x80000000

# CONFIG_ISA is not set

# CONFIG_EISA is not set

# CONFIG_SBUS is not set

# CONFIG_MCA is not set

# CONFIG_PCI_QSPAN is not set

# CONFIG_PCI is not set

CONFIG_IPIPE=y

CONFIG_NET=y

CONFIG_SYSCTL=y

CONFIG_SYSVIPC=y

# CONFIG_BSD_PROCESS_ACCT is not set

CONFIG_KCORE_ELF=y

CONFIG_BINFMT_ELF=y

CONFIG_KERNEL_ELF=y

# CONFIG_BINFMT_MISC is not set

# CONFIG_OOM_KILLER is not set

# CONFIG_HOTPLUG is not set

# CONFIG_PCMCIA is not set

 

#

# Parallel port support

#

# CONFIG_PARPORT is not set

# CONFIG_GEN_RTC is not set

# CONFIG_PPC_RTC is not set

# CONFIG_CMDLINE_BOOL is not set

 

#

# Embedded options

#

# CONFIG_EMBEDDED is not set

 

#

# Memory Technology Devices (MTD)

#

# CONFIG_MTD is not set

 

#

# Plug and Play configuration

#

# CONFIG_PNP is not set

# CONFIG_ISAPNP is not set

 

#

# Block devices

#

# CONFIG_BLK_DEV_FD is not set

# CONFIG_BLK_DEV_XD is not set

# CONFIG_PARIDE is not set

# CONFIG_BLK_CPQ_DA is not set

# CONFIG_BLK_CPQ_CISS_DA is not set

# CONFIG_CISS_SCSI_TAPE is not set

# CONFIG_CISS_MONITOR_THREAD is not set

# CONFIG_BLK_DEV_DAC960 is not set

# CONFIG_BLK_DEV_UMEM is not set

# CONFIG_BLK_DEV_LOOP is not set

# CONFIG_BLK_DEV_NBD is not set

CONFIG_BLK_DEV_RAM=y

CONFIG_BLK_DEV_RAM_SIZE=8192

CONFIG_BLK_DEV_INITRD=y

# CONFIG_BLK_STATS is not set

 

#

# Multi-device support (RAID and LVM)

#

# CONFIG_MD is not set

# CONFIG_BLK_DEV_MD is not set

# CONFIG_MD_LINEAR is not set

# CONFIG_MD_RAID0 is not set

# CONFIG_MD_RAID1 is not set

# CONFIG_MD_RAID5 is not set

# CONFIG_MD_MULTIPATH is not set

# CONFIG_BLK_DEV_LVM is not set

 

#

# Networking options

#

CONFIG_PACKET=y

# CONFIG_PACKET_MMAP is not set

CONFIG_NETLINK_DEV=y

# CONFIG_NETFILTER is not set

# CONFIG_FILTER is not set

CONFIG_UNIX=y

CONFIG_INET=y

# CONFIG_IP_MULTICAST is not set

# CONFIG_IP_ADVANCED_ROUTER is not set

CONFIG_IP_PNP=y

# CONFIG_IP_PNP_DHCP is not set

# CONFIG_IP_PNP_BOOTP is not set

# CONFIG_IP_PNP_RARP is not set

# CONFIG_NET_IPIP is not set

# CONFIG_NET_IPGRE is not set

# CONFIG_ARPD is not set

# CONFIG_INET_ECN is not set

# CONFIG_SYN_COOKIES is not set

# CONFIG_IPV6 is not set

# CONFIG_KHTTPD is not set

 

#

#    SCTP Configuration (EXPERIMENTAL)

#

CONFIG_IPV6_SCTP__=y

# CONFIG_IP_SCTP is not set

# CONFIG_ATM is not set

# CONFIG_VLAN_8021Q is not set

# CONFIG_IPX is not set

# CONFIG_ATALK is not set

 

#

# Appletalk devices

#

# CONFIG_DEV_APPLETALK is not set

# CONFIG_DECNET is not set

# CONFIG_BRIDGE is not set

# CONFIG_X25 is not set

# CONFIG_LAPB is not set

# CONFIG_LLC is not set

# CONFIG_NET_DIVERT is not set

# CONFIG_ECONET is not set

# CONFIG_WAN_ROUTER is not set

# CONFIG_NET_FASTROUTE is not set

# CONFIG_NET_HW_FLOWCONTROL is not set

 

#

# QoS and/or fair queueing

#

# CONFIG_NET_SCHED is not set

 

#

# Network testing

#

# CONFIG_NET_PKTGEN is not set

 

#

# ATA/IDE/MFM/RLL support

#

# CONFIG_IDE is not set

# CONFIG_BLK_DEV_HD is not set

 

#

# SCSI support

#

# CONFIG_SCSI is not set

 

#

# Fusion MPT device support

#

# CONFIG_FUSION is not set

# CONFIG_FUSION_BOOT is not set

# CONFIG_FUSION_ISENSE is not set

# CONFIG_FUSION_CTL is not set

# CONFIG_FUSION_LAN is not set

 

#

# I2O device support

#

# CONFIG_I2O is not set

# CONFIG_I2O_BLOCK is not set

# CONFIG_I2O_LAN is not set

# CONFIG_I2O_SCSI is not set

# CONFIG_I2O_PROC is not set

 

#

# Network device support

#

CONFIG_NETDEVICES=y

 

#

# ARCnet devices

#

# CONFIG_ARCNET is not set

# CONFIG_DUMMY is not set

# CONFIG_BONDING is not set

# CONFIG_EQUALIZER is not set

# CONFIG_TUN is not set

# CONFIG_ETHERTAP is not set

 

#

# Ethernet (10 or 100Mbit)

#

CONFIG_NET_ETHERNET=y

# CONFIG_MACE is not set

# CONFIG_BMAC is not set

# CONFIG_GMAC is not set

# CONFIG_SUNLANCE is not set

# CONFIG_SUNBMAC is not set

# CONFIG_SUNQE is not set

# CONFIG_SUNGEM is not set

# CONFIG_NET_VENDOR_3COM is not set

# CONFIG_LANCE is not set

# CONFIG_NET_VENDOR_SMC is not set

# CONFIG_NET_VENDOR_RACAL is not set

# CONFIG_NET_ISA is not set

# CONFIG_NET_PCI is not set

# CONFIG_NET_POCKET is not set

 

#

# Ethernet (1000 Mbit)

#

# CONFIG_ACENIC is not set

# CONFIG_DL2K is not set

# CONFIG_E1000 is not set

# CONFIG_MYRI_SBUS is not set

# CONFIG_NS83820 is not set

# CONFIG_HAMACHI is not set

# CONFIG_YELLOWFIN is not set

# CONFIG_R8169 is not set

# CONFIG_SK98LIN is not set

# CONFIG_TIGON3 is not set

# CONFIG_GIANFAR is not set

# CONFIG_GFAR_NAPI is not set

# CONFIG_GFAR_BDSTASH is not set

# CONFIG_GFAR_BUFSTASH is not set

# CONFIG_FDDI is not set

# CONFIG_NETCONSOLE is not set

# CONFIG_HIPPI is not set

# CONFIG_PLIP is not set

# CONFIG_PPP is not set

# CONFIG_SLIP is not set

 

#

# Wireless LAN (non-hamradio)

#

# CONFIG_NET_RADIO is not set

 

#

# Token Ring devices

#

# CONFIG_TR is not set

# CONFIG_NET_FC is not set

# CONFIG_RCPCI is not set

# CONFIG_SHAPER is not set

 

#

# Wan interfaces

#

# CONFIG_WAN is not set

 

#

# AAL5 drivers

#

# CONFIG_AAL5 is not set

 

#

# Amateur Radio support

#

# CONFIG_HAMRADIO is not set

 

#

# IrDA (infrared) support

#

# CONFIG_IRDA is not set

 

#

# ISDN subsystem

#

# CONFIG_ISDN is not set

 

#

# Old CD-ROM drivers (not SCSI, not IDE)

#

# CONFIG_CD_NO_IDESCSI is not set

 

#

# Console drivers

#

 

#

# Frame-buffer support

#

# CONFIG_FB is not set

 

#

# Input core support

#

# CONFIG_INPUT is not set

# CONFIG_INPUT_KEYBDEV is not set

# CONFIG_INPUT_MOUSEDEV is not set

# CONFIG_INPUT_JOYDEV is not set

# CONFIG_INPUT_EVDEV is not set

# CONFIG_INPUT_UINPUT is not set

 

#

# Macintosh device drivers

#

 

#

# Character devices

#

# CONFIG_VT is not set

# CONFIG_SERIAL is not set

# CONFIG_SERIAL_EXTENDED is not set

# CONFIG_SERIAL_NONSTANDARD is not set

# CONFIG_KEYMAP_DE_LATIN1 is not set

CONFIG_UNIX98_PTYS=y

CONFIG_UNIX98_PTY_COUNT=32

 

#

# I2C support

#

# CONFIG_I2C is not set

 

#

# SPI support

#

# CONFIG_SPI is not set

 

#

# Mice

#

# CONFIG_BUSMOUSE is not set

# CONFIG_MOUSE is not set

 

#

# Joysticks

#

# CONFIG_INPUT_GAMEPORT is not set

# CONFIG_QIC02_TAPE is not set

# CONFIG_IPMI_HANDLER is not set

# CONFIG_IPMI_PANIC_EVENT is not set

# CONFIG_IPMI_DEVICE_INTERFACE is not set

# CONFIG_IPMI_KCS is not set

# CONFIG_IPMI_WATCHDOG is not set

 

#

# Watchdog Cards

#

# CONFIG_WATCHDOG is not set

# CONFIG_SCx200 is not set

# CONFIG_SCx200_GPIO is not set

# CONFIG_AMD_PM768 is not set

# CONFIG_NVRAM is not set

# CONFIG_RTC is not set

# CONFIG_RTC_11_MINUTE_MODE is not set

# CONFIG_RTC_8XX is not set

# CONFIG_DTLK is not set

# CONFIG_R3964 is not set

# CONFIG_APPLICOM is not set

# CONFIG_FLASH is not set

 

#

# Ftape, the floppy tape device driver

#

# CONFIG_FTAPE is not set

# CONFIG_AGP is not set

 

#

# Direct Rendering Manager (XFree86 DRI support)

#

# CONFIG_DRM is not set

 

#

# Multimedia devices

#

# CONFIG_VIDEO_DEV is not set

 

#

# File systems

#

# CONFIG_QUOTA is not set

# CONFIG_QFMT_V2 is not set

# CONFIG_AUTOFS_FS is not set

# CONFIG_AUTOFS4_FS is not set

# CONFIG_REISERFS_FS is not set

# CONFIG_REISERFS_CHECK is not set

# CONFIG_REISERFS_PROC_INFO is not set

# CONFIG_ADFS_FS is not set

# CONFIG_ADFS_FS_RW is not set

# CONFIG_AFFS_FS is not set

# CONFIG_HFS_FS is not set

# CONFIG_HFSPLUS_FS is not set

# CONFIG_BEFS_FS is not set

# CONFIG_BEFS_DEBUG is not set

# CONFIG_BFS_FS is not set

# CONFIG_EXT3_FS is not set

# CONFIG_JBD is not set

# CONFIG_JBD_DEBUG is not set

# CONFIG_FAT_FS is not set

# CONFIG_MSDOS_FS is not set

# CONFIG_UMSDOS_FS is not set

# CONFIG_VFAT_FS is not set

# CONFIG_EFS_FS is not set

# CONFIG_JFFS_FS is not set

# CONFIG_JFFS2_FS is not set

CONFIG_CRAMFS=y

CONFIG_TMPFS=y

CONFIG_RAMFS=y

# CONFIG_ISO9660_FS is not set

# CONFIG_JOLIET is not set

# CONFIG_ZISOFS is not set

# CONFIG_JFS_FS is not set

# CONFIG_JFS_DEBUG is not set

# CONFIG_JFS_STATISTICS is not set

# CONFIG_MINIX_FS is not set

# CONFIG_VXFS_FS is not set

# CONFIG_NTFS_FS is not set

# CONFIG_NTFS_RW is not set

# CONFIG_HPFS_FS is not set

CONFIG_PROC_FS=y

# CONFIG_DEVFS_FS is not set

# CONFIG_DEVFS_MOUNT is not set

# CONFIG_DEVFS_DEBUG is not set

CONFIG_DEVPTS_FS=y

# CONFIG_QNX4FS_FS is not set

# CONFIG_QNX4FS_RW is not set

# CONFIG_ROMFS_FS is not set

CONFIG_EXT2_FS=y

# CONFIG_SYSV_FS is not set

# CONFIG_UDF_FS is not set

# CONFIG_UDF_RW is not set

# CONFIG_UFS_FS is not set

# CONFIG_UFS_FS_WRITE is not set

# CONFIG_XFS_FS is not set

# CONFIG_XFS_QUOTA is not set

# CONFIG_XFS_RT is not set

# CONFIG_XFS_TRACE is not set

# CONFIG_XFS_DEBUG is not set

 

#

# Network File Systems

#

# CONFIG_CODA_FS is not set

# CONFIG_INTERMEZZO_FS is not set

CONFIG_NFS_FS=y

CONFIG_NFS_V3=y

# CONFIG_NFS_DIRECTIO is not set

CONFIG_ROOT_NFS=y

# CONFIG_NFSD is not set

# CONFIG_NFSD_V3 is not set

# CONFIG_NFSD_TCP is not set

CONFIG_SUNRPC=y

CONFIG_LOCKD=y

CONFIG_LOCKD_V4=y

# CONFIG_SMB_FS is not set

# CONFIG_NCP_FS is not set

# CONFIG_NCPFS_PACKET_SIGNING is not set

# CONFIG_NCPFS_IOCTL_LOCKING is not set

# CONFIG_NCPFS_STRONG is not set

# CONFIG_NCPFS_NFS_NS is not set

# CONFIG_NCPFS_OS2_NS is not set

# CONFIG_NCPFS_SMALLDOS is not set

# CONFIG_NCPFS_NLS is not set

# CONFIG_NCPFS_EXTRAS is not set

# CONFIG_ZISOFS_FS is not set

 

#

# Partition Types

#

CONFIG_PARTITION_ADVANCED=y

# CONFIG_ACORN_PARTITION is not set

# CONFIG_OSF_PARTITION is not set

# CONFIG_AMIGA_PARTITION is not set

# CONFIG_ATARI_PARTITION is not set

CONFIG_MAC_PARTITION=y

CONFIG_MSDOS_PARTITION=y

# CONFIG_BSD_DISKLABEL is not set

# CONFIG_MINIX_SUBPARTITION is not set

# CONFIG_SOLARIS_X86_PARTITION is not set

# CONFIG_UNIXWARE_DISKLABEL is not set

# CONFIG_LDM_PARTITION is not set

# CONFIG_SGI_PARTITION is not set

# CONFIG_ULTRIX_PARTITION is not set

# CONFIG_SUN_PARTITION is not set

# CONFIG_EFI_PARTITION is not set

# CONFIG_SMB_NLS is not set

# CONFIG_NLS is not set

 

#

# Sound

#

# CONFIG_SOUND is not set

 

#

# MPC8xx Options

#

CONFIG_8xx_COPYBACK=y

# CONFIG_8xx_CPU6 is not set

# CONFIG_8xx_CPU15 is not set

# CONFIG_UCODE_PATCH is not set

# CONFIG_CPM_TRACK_LOAD is not set

# CONFIG_SCC_ENET is not set

# CONFIG_SCC1_ENET is not set

# CONFIG_SCC2_ENET is not set

# CONFIG_SCC3_ENET is not set

CONFIG_FEC_ENET=y

# CONFIG_USE_MDIO is not set

CONFIG_FEC_LINK_TIMEOUT=0

CONFIG_ENET_BIG_BUFFERS=y

# CONFIG_HDLC_ENET is not set

CONFIG_8xx_SMC1=y

CONFIG_8xx_SMC1_RX_BDNUM=4

CONFIG_8xx_SMC1_RX_BDSIZE=32

CONFIG_8xx_SMC1_TX_BDNUM=4

CONFIG_8xx_SMC1_TX_BDSIZE=32

# CONFIG_8xx_SMC2 is not set

# CONFIG_8xx_SCC_UART is not set

# CONFIG_8xx_SCC_UART_DYN is not set

# CONFIG_8xx_SCC1_UART_DYN is not set

# CONFIG_8xx_SCC2_UART_DYN is not set

# CONFIG_8xx_SCC3_UART_DYN is not set

# CONFIG_8xx_SCC4_UART_DYN is not set

 

#

# USB support

#

# CONFIG_USB is not set

 

#

# Support for USB gadgets

#

# CONFIG_USB_GADGET is not set

 

#

# Bluetooth support

#

# CONFIG_BLUEZ is not set

 

#

# Cryptographic options

#

# CONFIG_CRYPTO is not set

 

#

# Library routines

#

# CONFIG_CRC32 is not set

CONFIG_ZLIB_INFLATE=y

CONFIG_ZLIB_DEFLATE=y

# CONFIG_REED_SOLOMON is not set

 

#

# Kernel hacking

#

# CONFIG_DEBUG_KERNEL is not set

CONFIG_LOG_BUF_SHIFT=0

 

#

# Real-time sub-system

#

CONFIG_XENOMAI=y

CONFIG_XENO_OPT_NUCLEUS=y

 

#

# Nucleus options

#

CONFIG_XENO_OPT_PERVASIVE=y

# CONFIG_XENO_OPT_RPIDISABLE is not set

# CONFIG_XENO_OPT_SECURITY_ACCESS is not set

CONFIG_XENO_OPT_PIPE=y

CONFIG_XENO_OPT_PIPE_NRDEV=32

CONFIG_XENO_OPT_REGISTRY=y

CONFIG_XENO_OPT_REGISTRY_NRSLOTS=512

CONFIG_XENO_OPT_SYS_HEAPSZ=128

CONFIG_XENO_OPT_ISHIELD=y

CONFIG_XENO_OPT_PIPELINE_HEAD=y

CONFIG_XENO_OPT_STATS=y

# CONFIG_XENO_OPT_DEBUG is not set

CONFIG_XENO_OPT_TIMING_PERIODIC=y

CONFIG_XENO_OPT_TIMING_PERIOD=0

CONFIG_XENO_OPT_TIMING_TIMERLAT=0

CONFIG_XENO_OPT_TIMING_SCHEDLAT=0

 

#

# Scalability options

#

# CONFIG_XENO_OPT_SCALABLE_SCHED is not set

CONFIG_XENO_OPT_TIMER_LIST=y

# CONFIG_XENO_OPT_TIMER_HEAP is not set

# CONFIG_XENO_OPT_TIMER_WHEEL is not set

 

#

# Shared interrupts

#

# CONFIG_XENO_OPT_SHIRQ_LEVEL is not set

# CONFIG_XENO_OPT_SHIRQ_EDGE 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_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 is not set

# CONFIG_XENO_SKIN_RTDM is not set

# CONFIG_XENO_SKIN_PSOS is not set

# CONFIG_XENO_SKIN_VXWORKS is not set

# CONFIG_XENO_SKIN_VRTX is not set

# CONFIG_XENO_SKIN_UITRON is not set

# CONFIG_XENO_SKIN_RTAI is not set

 

#

# Machine

#

# CONFIG_XENO_HW_FPU is not set

 


[-- Attachment #2: Type: text/html, Size: 109487 bytes --]

^ permalink raw reply	[flat|nested] 5+ messages in thread
end of thread, other threads:[~2007-04-13 13:03 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
     [not found] <46098E8101A344BD@>
2007-04-13  9:29 ` [Xenomai-help] Xenomai suspends my kernel thread Gilles Chanteperdrix
2007-04-13  9:42   ` Philippe Gerum
     [not found] <E1HcIdR-0005wd-IK@snail.fsffrance.org>
2007-04-13 13:03 ` Philippe Gerum
2007-04-12  9:09 Branko
2007-04-12  9:16 ` Gilles Chanteperdrix

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.