Kernel debugging / drivers (was: USB keyboard driver the GNU Mach)

2016-03-20 Thread Olaf Buddenhagen
Hi, On Mon, Feb 29, 2016 at 12:41:43PM +0100, Justus Winter wrote: > While we generally want to move away from drivers in the kernel, it > might indeed be nice to have a keyboard driver inside it for kdb. Hm, this is an interesting point. I haven't actually considered keyboard drivers up till no

Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-03-20 Thread Flavio Cruz
* Makefile.am: Use -ffreestanding and remove -nostdinc since we are including stdint.h. * i386/i386/xen.h: Use uint64_t. * i386/include/mach/i386/machine_types.defs: Use uint32_t and int32_t. * i386/include/mach/i386/vm_types.h: Remove definitions of int*, uint*, unsigned* and signed* types. * i38

Re: [PATCH] Remove global netfs lock and use hard and soft references for nodes.

2016-03-20 Thread Justus Winter
Quoting Flávio Cruz (2016-03-18 01:27:37) > > Looks fine otherwise, I'll test it in my builds. > > How does it work for you so far? Very well. Thanks for picking this up :) Justus

Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-03-20 Thread Thomas Schwinge
Hi! On Sun, 20 Mar 2016 00:30:30 +0100, Samuel Thibault wrote: > Flávio Cruz, on Sat 19 Mar 2016 14:20:34 +0100, wrote: > > We already include mach/std_types.h in the stubs which provides uint32_t. > Should gnumach perhaps just rely on stdint.h? Relying on existing, standard header files gener