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

2020-07-03 Thread Damien Zammit
Hi, On 3/7/20 7:29 pm, Damien Zammit wrote: > I have tried to refactor the RPCs but I'm not sure how to make it a > fully-fledged "irq" mach device. I have a new version of my patch that should make this a proper mach device and I fixed the RPCs for ds_device_intr_* to use device_t dev instead

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

2020-07-03 Thread Almudena Garcia
Tonight, I was testing the same laptop in many others GNU/Linux distributions, to check the running of Xorg in these. By example, Ubuntu 11.04. https://pastebin.com/3riq9bVG And Ubuntu 8.04 https://paste.debian.net/1155061 Checking this, It seems that my video card requires an "intel" Xorg driver

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

2020-07-03 Thread Almudena Garcia
I tested Xorg in a Debian GNU/Linux 10, over the same machine. The log is here https://pastebin.com/KdacQNvE Maybe this can be useful to solve the problem in Hurd El vie., 3 jul. 2020 a las 20:15, Almudena Garcia (< liberamenso10...@gmail.com>) escribió: > This is my *lspci* output > > http://s

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

2020-07-03 Thread Almudena Garcia
This is my *lspci* output http://sprunge.us/fjlTXZ El vie., 3 jul. 2020 a las 20:05, Almudena Garcia (< liberamenso10...@gmail.com>) escribió: > > Ok, so no hidden trick behind fbdev. It just seems your BIOS is not > > providing the VESA interface :/ > > Is there any way to check this? The lapto

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

2020-07-03 Thread Almudena Garcia
> Ok, so no hidden trick behind fbdev. It just seems your BIOS is not > providing the VESA interface :/ Is there any way to check this? The laptop is a Thinkpad T60 type 1951 El vie., 3 jul. 2020 a las 19:59, Samuel Thibault () escribió: > Almudena Garcia, le ven. 03 juil. 2020 19:04:13 +0200,

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

2020-07-03 Thread Samuel Thibault
Almudena Garcia, le ven. 03 juil. 2020 19:04:13 +0200, a ecrit: > > Could you still post the resulting log? > > Here is the log > > [1]http://sprunge.us/3nCFzP Ok, so no hidden trick behind fbdev. It just seems your BIOS is not providing the VESA interface :/ Samuel

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

2020-07-03 Thread Almudena Garcia
> Could you still post the resulting log? Here is the log http://sprunge.us/3nCFzP El vie., 3 jul. 2020 a las 18:44, Samuel Thibault () escribió: > Almudena Garcia, le ven. 03 juil. 2020 18:29:31 +0200, a ecrit: > > > Possibly fbdev gets in the way, and it wouldn't work anyway, so > > > try to

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

2020-07-03 Thread Samuel Thibault
Almudena Garcia, le ven. 03 juil. 2020 18:29:31 +0200, a ecrit: > > Possibly fbdev gets in the way, and it wouldn't work anyway, so > > try to remove the xserver-xorg-video-fbdev package for a start. > > I removed It, but this doesn't solve the problem Could you still post the resulting log? Sam

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

2020-07-03 Thread Almudena Garcia
> Also, it's not the 90s any more :). Yep, we need more repositories' maintainers for Debian GNU/Hurd El vie., 3 jul. 2020 a las 18:37, Richard Braun () escribió: > On Fri, Jul 03, 2020 at 06:13:16PM +0200, Samuel Thibault wrote: > > It's not "every" package. But yes, sure, the Hurd way is bumpy.

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

2020-07-03 Thread Richard Braun
On Fri, Jul 03, 2020 at 06:13:16PM +0200, Samuel Thibault wrote: > It's not "every" package. But yes, sure, the Hurd way is bumpy. Just > like Linux was when its was much less used. People seem to have > completely forgotten that. Setting up Xorg used to be a nightmare there. The people who didn't

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

2020-07-03 Thread Almudena Garcia
> I don't see why vesa wouldn't find a card, doesn't your BIOS provide >vesa? I don't find any related option in my BIOS config. > Possibly fbdev gets in the way, and it wouldn't work anyway, so > try to remove the xserver-xorg-video-fbdev package for a start. I removed It, but this doesn't solve

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

2020-07-03 Thread Samuel Thibault
Almudena Garcia, le ven. 03 juil. 2020 17:53:52 +0200, a ecrit: > > Concerning vim, git etc., use "apt-cache policy vim" etc to know the > > version you can install from unreleased, and install them this way: > > > > apt-get install vim=2:8.2.0716-2 > > Yes, I solved the problem with git at this w

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

2020-07-03 Thread Samuel Thibault
Almudena Garcia, le ven. 03 juil. 2020 17:16:10 +0200, a ecrit: > > IAs mentioned in the error message, see the log file (or post it here so > we can find out) > > I attach images of the log I don't see why vesa wouldn't find a card, doesn't your BIOS provide vesa? Possibly fbdev gets in the way,

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

2020-07-03 Thread Almudena Garcia
> Concerning vim, git etc., use "apt-cache policy vim" etc to know the > version you can install from unreleased, and install them this way: > > apt-get install vim=2:8.2.0716-2 Yes, I solved the problem with *git *at this way. But, anyways, it's necessary to solve the version conflicts in Debian

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

2020-07-03 Thread Jose Luis Alarcon Sanchez
Hi, Almudena. About the startx issue, takea look to this extract:"X.Org has been ported and all video cards, which it supports that do not require a kernel module or drm should work. You need to already be running the Hurd console and have repeaters setup as indicated in the previous section.

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

2020-07-03 Thread Almudena Garcia
I've done all these steps. I'm running hurd-console, I configured the permissions using dpkg-reconfigure with this command, and even added ctrl_alt_bksp and screen configuration I'm following this guide, simply Xorg seems doesn't works in my machine https://www.debian.org/ports/hurd/hurd-install

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

2020-07-03 Thread Samuel Thibault
Samuel Thibault, le ven. 03 juil. 2020 17:37:15 +0200, a ecrit: > Concerning vim, git etc., use "apt-cache policy vim" etc to know the > version you can install from unreleased, and install them this way: > > apt-get install vim=2:8.2.0716-2 Also, could you turn what I scribbled above into text

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

2020-07-03 Thread Samuel Thibault
Almudena Garcia, le ven. 03 juil. 2020 17:10:06 +0200, a ecrit: > > Again, do you have properly set up the apt sources, notably the > > unreleased one? There are installable versions of these there. > > I attach my sources.list . I have all repositories, except the snapshot Ok so probably just fi

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

2020-07-03 Thread Samuel Thibault
Almudena Garcia, le ven. 03 juil. 2020 16:25:17 +0200, a ecrit: > I was checking configurations, but I don't found the origin of this error. As mentioned in the error message, see the log file (or post it here so we can find out) > - Running apt build-dep gnumach, I found a dependency conflict wi

gnumach: [PATCH] - irq as a mach device

2020-07-03 Thread Damien Zammit
Hi folks, As discussed on IRC, I am working on refactoring IRQ handling so that it can be opened as a mach device. However, I need to clean up the existing irq code. I am trying to make this more modular, so I have moved the irq masking/unmasking to pic.c and created an arch-specific irq.h and