Re: epoll

2021-01-27 Thread maya
On Mon, Jan 25, 2021 at 04:52:04PM +0100, r0ller wrote: > Hi All, > > I tried to wrap in the linux syscalls an epoll implementation that seems to > support NetBSD-9.1 > > https://github.com/jiixyj/epoll-shim > > but as I've never done such a thing before, it fa

Re: epoll

2021-01-26 Thread Eric Hawicz
On 1/25/2021 10:52 AM, r0ller wrote: Hi All, I tried to wrap in the linux syscalls an epoll implementation that seems to support NetBSD-9.1 https://github.com/jiixyj/epoll-shim but as I've never done such a thing before, it failed of course. First, I copied its source in the external/mit/

epoll

2021-01-25 Thread r0ller
Hi All, I tried to wrap in the linux syscalls an epoll implementation that seems to support NetBSD-9.1 https://github.com/jiixyj/epoll-shim but as I've never done such a thing before, it failed of course. First, I copied its source in the external/mit/epoll-shim directory and trie

Re: epoll under Linux emulation (or how to get Isabelle running on NetBSD)

2019-12-05 Thread John Nemeth
uses JEdit as its GUI, which in turn uses the epoll } >mechanism (through OpenJDK). As per kern/48584 this is not supported, } >but it does seem that there is something called libepoll-shim that might } >make things easier now. } > } >The question is really, is anyone possibly wor

Re: epoll under Linux emulation (or how to get Isabelle running on NetBSD)

2019-12-05 Thread Jaap Boender
On 06/12/2019 13:07, Christos Zoulas wrote: FreeBSD-current has epoll emulation for compat-linux implemented using kqueue. You could copy that. Ah, that's useful, I'll have a look. Thanks! best Jaap

Re: epoll under Linux emulation (or how to get Isabelle running on NetBSD)

2019-12-05 Thread Christos Zoulas
tomised (the nice way of saying it) build system that I'd need to >spend a lot of time to understand, let alone adapt to use NetBSD. > >So, next possibility - Linux emulation. Isabelle itself seems to run >pretty okay, but it uses JEdit as its GUI, which in turn uses the epoll >

epoll under Linux emulation (or how to get Isabelle running on NetBSD)

2019-12-05 Thread Jaap Boender
need to spend a lot of time to understand, let alone adapt to use NetBSD. So, next possibility - Linux emulation. Isabelle itself seems to run pretty okay, but it uses JEdit as its GUI, which in turn uses the epoll mechanism (through OpenJDK). As per kern/48584 this is not supported, but it