| The_Minix_Operating_System Major resource of information on, downloads of, and software for, Minix. |
| Minix_Tips Information on how to use and extend Minix 3, and run software on it; website server uses Minix; weblog format, many practical posts. |
| MINIX_ORG Repository for OS related: documentation, help, information, news, links, books, source code, downloads. Not the official MINIX website. |
| Minix-vmd Overdressed version of Minix; source, binaries, man pages. |
| Operating_Systems_Design_and_Implementation,_3/E By Andrew S Tanenbaum, Albert S Woodhull; Prentice Hall, 2006, ISBN 0131429388. Revised simplified edition, for latest MINIX version. An OS text which first explains relevant principles, then demonstr |
| Beastie__The_BSD_Daemon Information and links on BSD logo mascot character, equivalent to Tux, the Linux logo mascot penguin. |
| Berkeley_Software_Distribution Growing article, with links to many related topics. [Wikipedia] |
| The_BSD_Certification_Group,_Inc_ BSDCertification.org provides system administration certifications for DragonFly BSD, FreeBSD, NetBSD, OpenBSD. |
| BSD_DevCenter Many useful, professional articles, columns, tutorials on BSD. O'Reilly Media, ONLamp.com. |
| 4_4BSD_Documents A snapshot of some of the 4.4BSD-Lite documents. |
| BSD_Forums BSD Unix discussions, message boards, help and news. Covers all BSD operating systems. |
| BSD_Mall An online mall for all BSD needs. Everything from operating system CDs to BSD supported hardware is available. |
| BSD_News Frequent news on BSD developments and community, many posts by readers; forum comments on news items. |
| BSD_Resources Software, documentation, resources, news. A useful resource directory for using, installing, and maintaining all BSD-type systems. |
| BSD_Search Powerful BSD search engine combining tools from the Open Directory, Google, and GreasyDaemon. |
| BSD_Support_Forum A searchable BSD support forum where you can get your problems solved. Ask questions and get answers. |
| BSDatwork_com Resource providing timely news and configuration information on BSD operating systems, with commentary and reviews of software and hardware. |
| BSDForums_org Discussion forums, news, hardware and ports information, on all BSD flavors. |
| BSDFreak_News Portal for all BSD-related information, events, resources; articles, tutorials, editorials, forums, links, downloads; goal: expand awareness, increase advocacy. |
| BSDnewsletter_com BSD news, original articles, summaries and links to outside articles; tutorials, information. |
| BSDnexus_com BSD information, forums, Weblog, wallpapers, merchandise. |
| The_BSDs__Sophisticated,_Powerful,_and_(Mostly)_Free Historical overview of the operating systems. [ExtremeTech] |
| BSDtalk Voice interviews of people, often in recent BSD news, about this family of operating systems; as MP3 files, with forum comments. |
| BSDVault News portal for FreeBSD, NetBSD and OpenBSD operating systems. |
| Daemon_News Monthly BSD ezine, covering FreeBSD, NetBSD, OpenBSD, MacOS X, and BSD/OS. Articles and regular columns on all aspects of BSD. For news, ideas, code, opinions, and all things BSD, turn to Daemon News. |
| GreasyDaemon_com__Your_Guide_to_BSD_Unix Description, links and search engine to find information related to BSD Unix: FreeBSD, OpenBSD, NetBSD. |
| Latest_BSD_News News, via RSS feeds, synchronized every 3 hours to all major sources. |
| Screaming_Electron BSD support forum, message board; covers all BSD Unix operating systems; forums, FAQ, member list, registration, calendar, new posts, journal, search, link database. |
| Slashdot__BSD BSD section of the popular Slashdot open source news and forum site. |
| www_bsd_org Links to major BSD variants, Unix book list, help pages on several Unix and system administration issues. |
| BSDCan Annual BSD technical conference; since 2004, held every May; University of Ottawa, Ottawa, Ontario, Canada. (May 12, 2006) |
| BSD_to_Leapfrog_Linux? BSD is growing fast as publicity efforts and Apple's Mac OS X take off. [ZDNet] (November 28, 2000) |
| Free_download_of_Inferno_and_a_browser_plug-in_is_available From this Vita Nuova page you can download a free version of Inferno or order one of the commercial distributions. A plug-in version for Web browsers is also available. |
| Vita_Nuova_Holdings_Ltd_ Inferno: The OS for distributed applications on network devices. Lead distributor for Inferno and Plan 9 OSs. |
| Lucent_Spinoff_Vita_Nuova_Releases_Inferno_OS_Source Source code made available under liberal, low cost subscription plan. LinuxDevices.com. (June 20, 2000) |
| APOLLO Matthew Dillon personal page: brief introduction, links to projects; software: DIABLO backbone news transit system, DICE Amiga C compile, XMAKE. |
| DistroWatch_com__DragonFly_BSD Lists: summary, links, features, news. |
| DragonFly_BSD Growing article, with links to many related topics. [Wikipedia] |
| DragonFly_BSD_Digest News Weblog with large archives, links to BSD and DragonFly related sites. |
| DragonFly_Issue_Tracker Bug and problem list, with time, title, status, poster. |
FAX: +31 20 598-7653
Telephone: +31 20 598-7780
Directions to my office
Get a masters at the VU
If you would like to get a masters degree in my department, check out our (English-language) program in Parallel and Distributed Systems. ![[Programmer logo]](http://www.cs.vu.nl/~ast//Icons/programmer.gif){kind=icon}
I have just received a $4 million grant to do research on reliable operating systems and am looking for postdocs to work on this project. Click here for information. I am also looking for a scientific programmer. ![[<b>MINIX</b> 3 logo]](http://www.cs.vu.nl/~ast//minix3/logo.gif){kind=logo}
MINIX 3, a highly-reliable new operating system based on a tiny (3800-line) kernel, is now available. It currently runs on PCs but is also intended for embedded systems. To download it for free, go to www.minix3.org. ![[Turtle logo]](http://www.cs.vu.nl/~ast//Icons/turtle-logo.gif){kind=icon}
Turtle is a friend-to-friend and peer-to-peer software system that allows groups of people to communicate in a secure (encrypted) way that minimizes surveillance by outsiders. To download it for free, go to www.turtle4privacy.org. 
COURSES
Computer Science 
FEW 