a67ea57647
- EventQueue gains eventfd: Option<(AtomicU64, bool)> field (counter + semaphore)
- EventQueue::new_eventfd(id, initval, sem) constructor
- kopenat: parses 'eventfd/' prefix in path, creates counter-based queue
- kread: returns u64 counter for eventfd queues, EFD_SEMAPHORE decrements
- kwrite: adds u64 to counter for eventfd queues
Patch: local/patches/kernel/P0-eventfd-kernel.patch (119 lines)
Enables relibc eventfd() to open scheme:event/eventfd/{initval}/{sem}