Fiasco.OC-UX and recent Linux kernels

Paul Boddie paul at
Mon May 18 00:47:43 CEST 2015

On Sunday 17. May 2015 22.41.58 Adam Lackorzynski wrote:
> On Mon May 11, 2015 at 11:38:42 +0200, Paul Boddie wrote:
> > 
> > Having got this far, running "make ux" with the necessary options gave me
> > the following error:
> > 
> > openpty: No such file or directory
> > Problems setting up timer interrupt!
> > Aborted


> It shall work. Regarding the openpty error, openpty might require
> devpts, is it mounted under /dev/pts?

This was the problem, in fact. I was running in a chroot (for various reasons 
that may be described later) and had certain filesystems bind-mounted, but 
devpts was not one of them. Upon including it, the "make ux" target worked as 

Thanks for your hint!


More information about the l4-hackers mailing list