> On Apr 18, 2024, at 6:32 PM, Chris Johns wrote:
>
> On 18/4/2024 4:16 pm, Sebastian Huber wrote:
>> On 18.04.24 04:02, Chris Johns wrote:
>>> On 17/4/2024 11:06 pm, Sebastian Huber wrote:
Make the kernel I/O output character device processing configurable
through an option set param
On 18/4/2024 4:16 pm, Sebastian Huber wrote:
> On 18.04.24 04:02, Chris Johns wrote:
>> On 17/4/2024 11:06 pm, Sebastian Huber wrote:
>>> Make the kernel I/O output character device processing configurable
>>> through an option set parameter. Add RTEMS_NO_OUTPUT and RTEMS_FLUSH
>>> options. The g
On 18.04.24 04:02, Chris Johns wrote:
On 17/4/2024 11:06 pm, Sebastian Huber wrote:
Make the kernel I/O output character device processing configurable
through an option set parameter. Add RTEMS_NO_OUTPUT and RTEMS_FLUSH
options. The goal of this API change is to enable flushing the kernel
out
On 17/4/2024 11:06 pm, Sebastian Huber wrote:
> Make the kernel I/O output character device processing configurable
> through an option set parameter. Add RTEMS_NO_OUTPUT and RTEMS_FLUSH
> options. The goal of this API change is to enable flushing the kernel
> output device in the system terminat