Are there any plans to update the RT kernel? If not I'll just go ahead and remove the MicroOS RT flavor again.