Date: Sun, 21 Feb 2016 00:37:01 +0100 From: =?UTF-8?Q?Jean-S=c3=a9bastien_P=c3=a9dron?= <jean-sebastien.pedron@dumbbell.fr> To: freebsd-x11@freebsd.org Subject: Re: Guide to contribute to kernel video drivers Message-ID: <56C8F89D.5060703@dumbbell.fr> In-Reply-To: <20160220104349.2bc8b22a@fujitsu> References: <56C708E9.8050203@FreeBSD.org> <20160220104349.2bc8b22a@fujitsu>
next in thread | previous in thread | raw e-mail | index | archive | help
Le 20/02/2016 08:43, Eax Melanhovich a écrit :
> Hello
Hi!
> Thanks a lot for a guide!
You're welcome!
> Do I right understand that the only way to debug a kernel is to crash
> it and then analyze a dump using gdb? Is it possible to attach to a
> running kernel remotely?
It's probably possible to debug a live kernel, but I never did this
because I don't have a working serial remote access.
> Are there any books or tutorials regarding kernel development you would
> recommend? For instance are these books relevant and still actual:
>
> * FreeBSD Architecture Handbook (2013, 178 pages)
> * FreeBSD Developers' Handbook (2014, 178 pages)
I didn't read the ones you mention. I have and recommend the following
books:
o The Design and Implementation of the FreeBSD Operating System,
2nd edition, 2014
o FreeBSD Device Drivers: A Guide for the Intrepid, 2012
> I believe some experience with Linux kernel is required too?
Required, no (for instance, I don't have any :). But it surely can help
to understand some underlying difference in behaviors.
> Same question - which books and/or tutorials would you recommend and
> is a book "Linux Kernel Development, 3rd Edition" (2010, 441 pages)
> still actual?
I don't have any recommendation, sorry :(
--
Jean-Sébastien Pédron
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?56C8F89D.5060703>