Re: Checking out /gnumach exits with error, cause 'aux' reserved on cvsnt

2006-02-15 Thread pietro
Ashish Gokhale wrote:

> I am trying "cvs -d
> :pserver:[EMAIL PROTECTED]:/sources/hurd
> co gnumach-1-branch". Is the server URL correct???

the right command line is:

cvs -d:pserver:[EMAIL PROTECTED]:/sources/hurd co -r
gnumach-1-branch gnumach

pietro.


___
Bug-hurd mailing list
Bug-hurd@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-hurd


Re: gnumach crashing

2007-09-26 Thread pietro

On Wed, 26 Sep 2007 13:02:20 -0500, "R. Steven Rainwater"
<[EMAIL PROTECTED]> wrote:

> Hmmm... if I disable the Hurd console, will I still be able to get to
> some sort of a prompt where I can re-enable it later?

yes. you will get mach terminal instead of the hurd console. just type this
command line and you'll get the hurd console:

console -d vga -d pc_kbd --repeat=kbd -d pc_mouse --repeat=mouse \
-d generic_speaker -c /dev/vcs

pietro.




___
Bug-hurd mailing list
Bug-hurd@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-hurd


Re: Developer Blog

2008-03-17 Thread pietro

[EMAIL PROTECTED] wrote:

Hi,

On Fri, Mar 14, 2008 at 04:23:34PM +0100, Michael Banck wrote:


A developer blog (i.e. something which is shared by all the active
developers, and only has entries regarding current developments) might
be interesting


Sounds interesting indeed.

Are you willing to take care of that? :-)


i am. i can install a blog or an aggregator on a debian gnu/linux box. 
someone needs to buy a domain or lend us either a domain or a subdomain.


pietro.




Re: pthread headers

2005-01-11 Thread pietro
Alfred M. Szmidt wrote:
If someone is bored, then they can fix the pthread headers to be C90
compliant.  C90 disallows the use of the "inline" keyword.
Many programs still like to use -ansi, so this break compilation of
those on GNU/Hurd since our pthread headers aren't C90 compliant.
i did a grep for inline in the libpthread/include dir and only 
pthread/pthread.h has inline in it. i'm attaching a patch that changes 
inlie to __inline__ as discussed in this list.

2005-01-11<[EMAIL PROTECTED]>
   * include/pthread/pthread.h (pthread_spin_destroy): Change 
return type
   from extern inline to extern __inline__.
   (pthread_spin_init): Likewise.
   (pthread_spin_lock): Likewise.
   (pthread_spin_trylock): Likewise.
   (pthread_spin_unlock): Likewise.

Index: pthread.h
===
RCS file: /cvsroot/hurd/hurd/libpthread/include/pthread/pthread.h,v
retrieving revision 1.2
diff -u -p -r1.2 pthread.h
--- pthread.h   10 Nov 2002 04:18:11 -  1.2
+++ pthread.h   12 Jan 2005 01:46:20 -
@@ -420,31 +420,31 @@ extern int pthread_spin_unlock (pthread_
# ifdef __USE_EXTERN_INLINES
-extern inline int
+extern __inline__ int
pthread_spin_destroy (pthread_spinlock_t *__lock)
{
  return __pthread_spin_destroy (__lock);
}
-extern inline int
+extern __inline__ int
pthread_spin_init (pthread_spinlock_t *__lock, int __pshared)
{
  return __pthread_spin_init (__lock, __pshared);
}
-extern inline int
+extern __inline__ int
pthread_spin_lock (pthread_spinlock_t *__lock)
{
  return __pthread_spin_lock (__lock);
}
-extern inline int
+extern __inline__ int
pthread_spin_trylock (pthread_spinlock_t *__lock)
{
  return __pthread_spin_trylock (__lock);
}
-extern inline int
+extern __inline__ int
pthread_spin_unlock (pthread_spinlock_t *__lock)
{
  return __pthread_spin_unlock (__lock);

___
Bug-hurd mailing list
Bug-hurd@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-hurd


Re: pthread headers

2005-01-14 Thread pietro
this patch does s/inline/__inline__ for all pthread headers that get
installed.

2005-01-12  Pietro Ferrari  <[EMAIL PROTECTED]>

* include/pthread/pthread.h (pthread_spin_destroy): Change
return type from extern inline to extern __inline__.
(pthread_spin_init): Likewise.
(pthread_spin_lock): Likewise.
(pthread_spin_trylock): Likewise.
(pthread_spin_unlock): Likewise.
* sysdeps/mach/bits/spin-lock.h (__pthread_spin_lock): Change
return type from extern inline to extern __inline__.
* sysdeps/i386/bits/spin-lock.h (__pthread_spin_lock): Change
return type from extern inline to extern __inline__.
* sysdeps/generic/bits/mutex.h (__pthread_mutex_trylock):
Change return type from extern inline to extern __inline__.
(pthread_mutex_lock): Likewise.
* sysdeps/generic/bits/pthread.h (pthread_equal): Change
return type from extern inline to extern __inline__.

-- 
"Educators, generals, dieticians, psychologists, and parents program.
Armies, students, and some societies are programmed."
--Harold Abelson and Gerald Jay Sussman with Julie Sussman, "Structure
and Interpretation of Computer Programs"Index: include/pthread/pthread.h
===
RCS file: /cvsroot/hurd/hurd/libpthread/include/pthread/pthread.h,v
retrieving revision 1.2
diff -u -r1.2 pthread.h
--- include/pthread/pthread.h	10 Nov 2002 04:18:11 -	1.2
+++ include/pthread/pthread.h	12 Jan 2005 18:15:38 -
@@ -420,31 +420,31 @@
 
 # ifdef __USE_EXTERN_INLINES
 
-extern inline int
+extern __inline__ int
 pthread_spin_destroy (pthread_spinlock_t *__lock)
 {
   return __pthread_spin_destroy (__lock);
 }
 
-extern inline int
+extern __inline__ int
 pthread_spin_init (pthread_spinlock_t *__lock, int __pshared)
 {
   return __pthread_spin_init (__lock, __pshared);
 }
 
-extern inline int
+extern __inline__ int
 pthread_spin_lock (pthread_spinlock_t *__lock)
 {
   return __pthread_spin_lock (__lock);
 }
 
-extern inline int
+extern __inline__ int
 pthread_spin_trylock (pthread_spinlock_t *__lock)
 {
   return __pthread_spin_trylock (__lock);
 }
 
-extern inline int
+extern __inline__ int
 pthread_spin_unlock (pthread_spinlock_t *__lock)
 {
   return __pthread_spin_unlock (__lock);
Index: sysdeps/generic/bits/mutex.h
===
RCS file: /cvsroot/hurd/hurd/libpthread/sysdeps/generic/bits/mutex.h,v
retrieving revision 1.1
diff -u -r1.1 mutex.h
--- sysdeps/generic/bits/mutex.h	10 Oct 2002 23:05:05 -	1.1
+++ sysdeps/generic/bits/mutex.h	12 Jan 2005 18:15:38 -
@@ -108,7 +108,7 @@
   return _pthread_mutex_lock (__mutex);
 }
 
-extern inline int
+extern __inline__ int
 __pthread_mutex_trylock (struct __pthread_mutex *__mutex)
 {
   extern int _pthread_mutex_trylock (struct __pthread_mutex *);
@@ -120,13 +120,13 @@
   return _pthread_mutex_trylock (__mutex);
 }
 
-extern inline int
+extern __inline__ int
 pthread_mutex_lock (struct __pthread_mutex *__mutex)
 {
   return __pthread_mutex_lock (__mutex);
 }
 
-extern inline int
+extern __inline__ int
 pthread_mutex_trylock (struct __pthread_mutex *__mutex)
 {
   return __pthread_mutex_trylock (__mutex);
Index: sysdeps/generic/bits/pthread.h
===
RCS file: /cvsroot/hurd/hurd/libpthread/sysdeps/generic/bits/pthread.h,v
retrieving revision 1.1
diff -u -r1.1 pthread.h
--- sysdeps/generic/bits/pthread.h	10 Oct 2002 23:05:05 -	1.1
+++ sysdeps/generic/bits/pthread.h	12 Jan 2005 18:15:38 -
@@ -24,7 +24,7 @@
 
 /* Return true if __T1 and __T2 both name the same thread.  Otherwise,
false.  */
-extern inline int
+extern __inline__ int
 pthread_equal (pthread_t __t1, pthread_t __t2)
 {
   return __t1 == __t2;
Index: sysdeps/i386/bits/spin-lock.h
===
RCS file: /cvsroot/hurd/hurd/libpthread/sysdeps/i386/bits/spin-lock.h,v
retrieving revision 1.1
diff -u -r1.1 spin-lock.h
--- sysdeps/i386/bits/spin-lock.h	10 Oct 2002 23:05:05 -	1.1
+++ sysdeps/i386/bits/spin-lock.h	12 Jan 2005 18:15:38 -
@@ -74,10 +74,10 @@
   return __locked ? __EBUSY : 0;
 }
 
-extern inline int __pthread_spin_lock (__pthread_spinlock_t *__lock);
+extern __inline__ int __pthread_spin_lock (__pthread_spinlock_t *__lock);
 extern int _pthread_spin_lock (__pthread_spinlock_t *__lock);
 
-extern inline int
+extern __inline__ int
 __pthread_spin_lock (__pthread_spinlock_t *__lock)
 {
   if (__pthread_spin_trylock (__lock))
Index: sysdeps/mach/bits/spin-lock.h
===
RCS file: /cvsroot/hurd/hurd/libpthread/sysdeps/mach/bits/spin-lock.h,v
retrieving revision 1.1
diff -u -r1.1 spin-lock.h
--- sysdeps/mach/bits/spin-lock.h	10 Oct 2002 23:05:05 -	1.1
+++ sysdeps/mach/bits/spin-lock.h	12 Jan 200

Introduction

2014-07-29 Thread Pietro Braione
Dear all,
My name is Pietro Braione, and I am a researcher at the University of 
Milano-Bicocca. I was first introduced to the existence of the Hurd many years 
ago by Richard Stallman, when he came in Milan for a Q&A session on free 
software. Now I think it is the time to offer my contribution to the project. 
Since I have some expertise on software quality, I would like to contribute 
raising the overall quality of the Hurd software, especially of the GNUmach 
microkernel. Unfortunately I have no experience in system and kernel 
programming, and I can dedicate a very limited amount of time. This said, I 
think that my small contribution can essentially be doing some janitorial work 
- updating the documentation and the website, and cleaning the GNUmach code. As 
a starter I created a work environment (Debian GNU/Hurd 0.5 under Virtualbox), 
downloaded the source from git (master branch), compiled, and analyzed the 
warnings. As a result I have a small patch for the (two) print formatting 
warnings returned by the compilation. How do I submit it? 
Secondly: I found some inconsistencies between the website and the 
documentation. How do I report/fix them?
Regards,
Pietro


printf warning in gnumach

2014-09-01 Thread Pietro Braione
Hello; my first (extremely small) contribution, just to understand how to 
report bugs and propose patches. I am addressing build warnings in gnumach, and 
this patch fixes a printf format warning in the sundance Linux driver. Let me 
know if the submission format is correct.

diff --git a/linux/src/drivers/net/sundance.c b/linux/src/drivers/net/sundance.c
index 47f32eb..26a3eb9 100644
--- a/linux/src/drivers/net/sundance.c
+++ b/linux/src/drivers/net/sundance.c
@@ -986,7 +986,7 @@ static int start_tx(struct sk_buff *skb, struct net_device 
*dev)
dev->trans_start = jiffies;
 
if (np->msg_level & NETIF_MSG_TX_QUEUED) {
-   printk(KERN_DEBUG "%s: Transmit frame #%d len %ld queued in 
slot %ld.\n",
+   printk(KERN_DEBUG "%s: Transmit frame #%d len %lu queued in 
slot %u.\n",
   dev->name, np->cur_tx, skb->len, entry);
}
return 0;

Pietro


(Newbie question) Failed building hurd on Debian GNU Hurd

2015-09-15 Thread Braione Pietro
Hello to everyone. As from the title, I am a complete newbie. It is the first 
time I am trying to build hurd from sources (but I have successfully built 
gnumach and mig many times). My platform is Debian GNU Hurd (should be the 2013 
version). I followed the INSTALL file in the hurd source tree and tried with:

cd mig
git pull
./configure PREFIX=/usr/local && make && make install #(debian puts mig in 
/usr/local, not in default /usr)
cd ../gnumach
git pull
./configure && make && make install && cp gnumach.gz /boot/gnumach-1.4-486.gz
reboot
cd hurd
git pull
autoconf && ./configure && make

but it fails (after a lot of time) when compiling the auth server:

…
make -C auth all
make [1]: Entering directory ‘root/hurd/auth’
…
gcc 
-Wl,-rpath-link:.:../libps/:../libtrivfs/:../libftpconn/:../libports/:../libcons/:../libhurdbugaddr/:../libiohelp/:../libdiskfs/:../libpipe/:../libpager/:../libstore/:../libhash/:../libshouldbeinlibc/:../libfshelp/:../libnetfs/:../libthreads/
 -std=gnu99 -fgnu89-inline -Wall -g -O3 -g -O2 -uargp_program_bug_address -o 
auth \
auth.o authServer.o auth_replyUser.o \
‘-Wl,-(‘ ../libhurdbugaddr/libhurdbugaddr.so 
/usr/lib/i386-gnu/libpthread.so ../libports/libports.so ../libihash/libihash.so 
../libshouldbeinlibc/libshouldbeinlibc.so \
‘-Wl,-)’
../libports/libports.so: undefined reference to 
`mach_port_set_protected_payload’
../libports/libports.so: undefined reference to 
`mach_port_clear_protected_payload’
collect2: error: ld returned 1 exit status
…

What am I missing?
Best,
Pietro Braione



Re: (Newbie question) Failed building hurd on Debian GNU Hurd

2015-09-24 Thread Braione Pietro
Hello Samuel.
Il giorno 15/set/2015, alle ore 17:28, Samuel Thibault 
mailto:samuel.thiba...@gnu.org>> ha scritto:

Hello,

Braione Pietro, le Tue 15 Sep 2015 12:31:16 +, a écrit :
../libports/libports.so: undefined reference to 
`mach_port_set_protected_payload’
../libports/libports.so: undefined reference to 
`mach_port_clear_protected_payload’

These are new features which were added to GNU Mach after the 2013
release.  To get them you need at least a newer glibc in addition to the
newer gnumach.

Since I want to be able to build the head version, I downloaded the 2015 Debian 
distribution and rebuilt everything (except for mig, but I don’t think this is 
the issue). I strictly followed the instructions at 
http://www.gnu.org/software/hurd/microkernel/mach/gnumach/building.html and 
http://www.gnu.org/software/hurd/hurd/building.html, in their non-Debian 
variant, plus make install of gnumach. It still fails, but now while linking 
the proc server:

…
make -C proc all
…
mgt.o: In function `S_mach_notify_new_task’:
/root/hurd/build/proc/../../proc/mgt.c:1081: undefined reference to 
`mach_notify_new_task’
collect2: error: ld returned 1 exit status

Can I suppose that I need a newer glibc? If yes, which of the many branches 
should I check out?
Best,
Pietro


Re: (Newbie question) Failed building hurd on Debian GNU Hurd

2015-09-25 Thread Braione Pietro

> Il giorno 24/set/2015, alle ore 19:03, James Clarke  ha 
> scritto:
> 
> That’s an issue with the current Hurd repo on Savannah. You need this patch 
> http://darnassus.sceen.net/gitweb/teythoon/packaging/hurd.git/blob/HEAD:/debian/patches/proc-task-notify-0005-proc-fix-build.patch,
>  from what I gather (at least it fixes it for me).

Thank you, now it builds (it doesn't work when installed, but this is not an 
issue for what I want to try).
Best,
Pietro

Re: Booting/Installing Debian Hurd from DVD not possible

2015-12-21 Thread Braione Pietro

> Il giorno 18/dic/2015, alle ore 18:53, Samuel Thibault 
>  ha scritto:
> 
> David Renz, on Fri 18 Dec 2015 18:49:11 +0100, wrote:
>> Basically Debian Hurd SHOULD definitely be able to work in a Virtual Box VM,
>> isn't it?
> 
> Yes, in theory yes, but not many people actually test then, let alone
> Hurd developers (they use kvm/qemu), so issues with Virtual Box are most
> often not even known about.
> 

Just to say that I routinely run Debian GNU/Hurd (latest) in Virtualbox (at 
least last three-four version including the latest 5.0.10) under Mac OS X 
(Yosemite). Had no trouble installing/running until now.
Pietro