Blocking I/O and Ravenscar

[Maciej Sobczak <see.my.homepage@gmail.com>]

Basically, Ravenscar forbids any blocking operations except waiting on
a protected entry or a suspension object.

How can I perform a blocking I/O without breaking this restriction?

Let's say I would like to read a byte from a socket.
An entry with the simple barrier Is_Ready can do the job in terms of
the interface, but implementation-wise it only pushes the problem away
- who will set the Is_Ready flag after the byte is actually read from
the blocking physical device and put in the buffer? A separate task?
It would need to be non-Ravenscar - there seems to be a chicken&egg
problem here.

--
Maciej Sobczak
http://www.msobczak.com/