• RTX kernel application/bootloader problem
    hello, i want to use two independent program in LPC2387 flash program , both with RTX kernel and switch between them with this command: #define AP_ADDR 0x10000 typedef void(*FP)(void); void...
  • Problem with viewing tasks on RTX Kernel
    Hello, My problem is that I cannot see any tasks when I view them via "Peripherals - RTX Kernel". I can only see the system tasks with TID 0 and 255. You can see a screenshot here: daddyimage...
  • RTX Kernel and GNU compiler.
    Hi all: Is possible to compile the RTX Kernel using the GNU tools? Libraries compiled with CARM are not compatible with gcc, are they? Thanks in advance and have a good day. Jorge M.
  • RTX Kernel Port M3
    Hello, I am porting the RTX Kernel to a Cortex-M3 device and ran into a difficulty. I have set up 2 tasks to toggle 2 LEDs to see if my tasks are running as expected. As below. /*-----...
  • RTX Kernel user timers
    I know till now periodic user timer are not possible in the RTX kernel. is there a plan to implement this feature in future ? rgds, mario