5befab7f3d
The new 'String' buffer type is meant to replace the manually created character buffers that are scattered throughout Genode. It plainly holds a null-terminated string to be stored as a member variable (e.g., a session label) or passed as RPC argument. It is not intended to become a string API. |
||
|---|---|---|
| .. | ||
| buffer.h | ||
| events.h | ||
| logger.h | ||
| policy.h | ||
| types.h | ||