Re: [LAU] updates to real-time kernel