Kernel machines
Computers - Artificial Intelligence - Machine Learning. A central information source for the area of Support Vector Machines, Gaussian Process prediction, Mathematical Programming with Kernels, Regula ...
www.kernel-machines.org
C Kernel
Computers - Software - Operating Systems - Realtime. Realtime preemptive kernel coded fully in C, so is highly portable to different hardware platforms and easily embeddable; Descriptions, full source code, examples, C Style Guide and programming Guidelines. [Free ...
home.hetnet.nl
Linux Kernel Commentary
Computers - Software - Operating Systems - Linux - Kernel - Outdated. Includes a set of documentation on how parts of the kernel work. ...
www.cse.unsw.edu.au
The Eiffel Library Kernel Standard
Computers - Programming - Languages - Eiffel. Vintage 95 of the Eiffel Library Kernel Standard, from NICE (the Nonprofit International Consortium for Eiffel). ...
archive.eiffel.com
Recompiling your kernel
Computers - Software - Operating Systems - Linux - Kernel. Compilation instructions. New tutorials wanted. ...
www.recompile.org
LinuxPPC Kernel Building
Computers - Software - Operating Systems - Linux - Platforms - PowerPC. How to build a 2.2 kernel for the G3. ...
gdr.free.fr
The Basic Kernel Source Code Secrets
Computers - Programming - Operating Systems. By William Jolitz and Lynne Jolitz (authors of 386BSD OS). Good book to learn the kernel internals of 386 architecture operating systems. ...
jolitz.telemuse.net
A Tour through the NetBSD Source Tree - Part III: Kernel
Computers - Software - Operating Systems - Unix - BSD - NetBSD - Documentation. A series of 3 articles by Hubert Feyrer describing the NetBSD source tree. Describes the subdirectories of the kernel, ...
ezine.daemonnews.org
Kernel Documents
Computers - Software - Operating Systems - Linux - Kernel. Index of online documents and printed books, with keywords and descriptions. ...
jungla.dit.upm.es
Kernel Machines
Computers - Artificial Intelligence - Support Vector Machines. A central source of information on kernel based methods, including support vector machines, Gaussian processes. ...
www.kernel-machines.org
The Linux Kernel Archives
Computers - Software - Operating Systems - Linux - Kernel. This is the primary site for the Linux kernel source. ...
www.kernel.org
The Kentucky Kernel
Reference - Education - Colleges and Universities - North America - United States - Kentucky - University of Kentucky. Daily student newspaper of the University of Kentucky. [Free registration require ...
www.kykernel.com
Linux Kernel Internals
Computers - Software - Operating Systems - Linux - Kernel. Document which describes booting, processes, interrupts, VFS, page cache. ...
www.moses.uklinux.net
OpenBSD kernel source tour
Computers - Software - Operating Systems - Unix - BSD - OpenBSD - Development. Hypertext markup of the OpenBSD 2.3 kernel sources. ...
tamacom.com
FreeDOS Kernel Site
Computers - Software - Operating Systems - x86 - DOS - FreeDOS. Frequent updates with the latest FreeDOS kernel developments. ...
freedos.sourceforge.net
Linux Kernel Mailing List Archive
Computers - Software - Operating Systems - Linux - Kernel. Searchable archive of kernel development e-mail list. ...
www.uwsg.indiana.edu
Understanding the Linux Kernel, Volume 2
Computers - Software - Operating Systems - Linux - Kernel. A book covering all non-networking aspects of the 2.4 kernel. ...
www.oreilly.com
NT Kernel Resources
Computers - Programming - Drivers. Windows Packet Filter Kit for developing filtering/modifying communication applications. Also Windows 2000 undocumented kernel structures. Open source TDI firewall. ...
www.ntkernel.com
User-mode Linux Kernel
Computers - Software - Operating Systems - Linux - Programming - Debugging. This kernel allows developers to write and debug code using the normal process-level tools, like gdb, gprof, and gcov. ...
user-mode-linux.sourceforge.net
Slashdot - Amiga to use Linux Kernel
Computers - Systems - Amiga - News and Media. Announcement and discussion of Amiga Technologies' plans to use the Linux kernel. ...
slashdot.org
Micro Kernel Reference: ChorusOS
Computers - Software - Operating Systems - Realtime - ChorusOS. Brief, dense technical summary of Sun Microsystems ChorusOS. ...
www.crhc.uiuc.edu
Kernel Methods for Pattern Analysis - Book
Computers - Artificial Intelligence - Machine Learning - Publications. Information and resources relative to the book ...
www.kernel-methods.net
Linux IPsec HOWTO (kernel 2.4
Computers - Software - Operating Systems - Linux - Networking - Documentation. This HOW-TO document describes using IPsec in the Linux 2.4 (FreeS/WAN) and 2.6 kernels. ...
www.ipsec-howto.org
Linux Kernel Coder Puts SCO on Notice
Computers - Software - Operating Systems - Unix - SCO - Boycott, Lawsuits - Germany. SCO, pariah of IT industry, got what may be legally damaging return fire from German Linux kernel developer, an ema ...
www.theinquirer.net
A Caching Model of Operating System Kernel Functionality
Computers - Software - Opera. Stanford Cache Kernel, supervisor-mode component of V++ OS; caches system objects (threads, address spaces) to raise performance; microkernel alternative, performance equals normal monolithic OSs, yet gives application-level control of system resources, more modularity, scalability ...
www-dsg.stanford.edu