Skip site navigation (1)Skip section navigation (2)
Date:      Sun, 28 Jul 2024 19:59:12 +0000 (UTC)
From:      doug <doug@safeport.com>
To:        Aryeh Friedman <aryeh.friedman@gmail.com>
Cc:        FreeBSD Mailing List <freebsd-questions@freebsd.org>
Subject:   Re: Passing physical serial port through to bhyve
Message-ID:  <83f140eb-7fc9-7016-a6eb-ab20a31a9ec@safeport.com>
In-Reply-To: <CAGBxaX=ytE0qKz9Oc53uf7dSWCVgrfvwdjbkO%2BggDkNduBd2pg@mail.gmail.com>
References:  <CAGBxaX=ytE0qKz9Oc53uf7dSWCVgrfvwdjbkO%2BggDkNduBd2pg@mail.gmail.com>

next in thread | previous in thread | raw e-mail | index | archive | help
On Sun, 28 Jul 2024, Aryeh Friedman wrote:

> Background:  I am starting work on my PhD thesis in theoretical CS and
> one of the things I need to do is prove both theoretically and
> experimentally that a single (dataflowed) NAND is Turing complete (and
> maps directly onto a lambda machine) and can do useful work (a
> non-dataflowed one is theoretically Turing complete but can't be used
> for anything useful [theorem in thesis]).   In order to show this I
> want to set up a breadboard with a single NAND on it with LED's on
> both inputs and both outputs and then using the serial port of my
> desktop send longer inputs and receive longer outputs then one bit.
>
> Due to the nature of the project I want to do all the development and
> testing from a bhyve VM (already setup) thus I need to find a way have
> that VM drive the actual physical serial port so as to conduct various
> experiments to prove the above.
>
> -- 
> Aryeh M. Friedman, Lead Developer, http://www.PetiteCloud.org
>
>
I assume you have seen https://forums.freebsd.org/threads/a-solid-howto-with-bhyve-on-freebsd-14-and-windows-11.92236/

but just in case ... I really hate to answer a question with why not use 
this, but ... bastille works in a no-brainer fashion without or without 
zfs. In my setup FreeBSD is the base system and the other systems are jails 
under that. This may not work for you for reasons I do not see but maybe 
with will get a discussion going.

Doug



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?83f140eb-7fc9-7016-a6eb-ab20a31a9ec>