| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| Makefile | 2025-10-16 22:36 | 1.8K | ||
| channel.c | 2025-10-16 22:36 | 67K | ||
| channel_kern.c | 2025-10-16 22:36 | 22K | ||
| channel_ring.c | 2025-10-16 22:36 | 60K | ||
| channel_syscalls.c | 2025-10-16 22:36 | 19K | ||
| channel_var.h | 2025-10-16 22:36 | 37K | ||
| kern_channel_event.c | 2025-10-16 22:36 | 8.9K | ||
| os_channel.h | 2025-10-16 22:36 | 26K | ||
| os_channel_event.h | 2025-10-16 22:36 | 7.8K | ||
| os_channel_private.h | 2025-10-16 22:36 | 26K | ||