why panic(9) ?

Lowell Gilbert freebsd-current-local at be-well.ilk.org
Tue Jan 11 22:32:19 UTC 2011

[Replies redirected.]

Boris Kochergin <spawk at acm.poly.edu> writes:

> All modern operating systems? Maybe some niche ones, like the ones
> that run on Mars rovers, have made progress towards formal
> verification and are believed not to crash given correctly-functioning
> hardware.

The Mars rovers run on VxWorks.  Which is a system I like, but it
isn't anything like formally verifiable.  And it certainly does the
equivalent of FreeBSD panic() under some circumstances.  

More information about the freebsd-current mailing list