Re: gnumach: [PATCH] - irq as a mach device

2020-07-04 Thread Damien Zammit
On 5/7/20 11:50 am, Damien Zammit wrote: > One thing that is missing from this patch is the "vm_allocate_contiguous" RPC. > It is required for DMA. How should I proceed with it? Do I make it an RPC > on the > "mem" device only? See attached for first attempt at reworking this RPC. Thanks, Dami

Re: gnumach: [PATCH] - irq as a mach device

2020-07-04 Thread Damien Zammit
On 5/7/20 3:48 am, Samuel Thibault wrote: > Hello, > > Thanks for reworking this! With a couple RPC interface changes we can > probably commit it. Hooray! > I.e. remove this disable and initial unacked interrupt, and remove the > initial intr_enable call from netdde / rump. > Done in this patc

Re: gnumach: [PATCH] - irq as a mach device

2020-07-04 Thread Samuel Thibault
Hello, Thanks for reworking this! With a couple RPC interface changes we can probably commit it. Damien Zammit, le sam. 04 juil. 2020 15:31:20 +1000, a ecrit: > + /* For now netdde calls device_intr_enable once after registration. > Assume > + * it does so for now. When we move to IR

Re: Problems in Debian GNU/Hurd with Xorg and GCC

2020-07-04 Thread Almudena Garcia
Now I've just tested this laptop with Debian GNU/Linux. I confirmed that VESA is not supported in this machine, but fbdev seems to run well in Linux. But fbdev doesn't works properly in Hurd. It returns an error about "more than one possible primary device found" I attach the log El sáb., 4 jul

Re: Problems in Debian GNU/Hurd with Xorg and GCC

2020-07-04 Thread liberamenso10000
Nope. It's a T60 with integrated graphics (not ATI), and default BIOS. El sábado 4 de julio de 2020, Damien Zammit escribió: > Hey Almudena, > > On 4/7/20 1:49 am, Almudena Garcia wrote: > > I'm following this guide, simply Xorg seems doesn't works in my machine > > https://www.debian.org/ports/h

Re: Problems in Debian GNU/Hurd with Xorg and GCC

2020-07-04 Thread Damien Zammit
Hey Almudena, On 4/7/20 1:49 am, Almudena Garcia wrote: > I'm following this guide, simply Xorg seems doesn't works in my machine > https://www.debian.org/ports/hurd/hurd-install Are you running coreboot or factory bios on your T60? I think coreboot native gfx does *not* support VBE graphics ext