Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

Why FreeBSD and Linux?

April 26, 2017FreeBSD linux

0

Posted

Why FreeBSD and Linux?

1 Answer

0

Posted

The IX86 version of the SPIN Operating System uses code borrowed from the FreeBSD Operating System for its device driver layer. The build environment we use at the University of Washington uses AFS. At the time that SPIN was ported to the x86 platform, an AFS client for FreeBSD did not exist. Consequently we don’t build SPIN using FreeBSD, at least not yet. For the time being our customers will have to use Linux as their build environment. The alternative is to attempt to build SPIN on FreeBSD on your own .