From owner-freebsd-questions@freebsd.org Fri Apr 17 19:30:02 2020 Return-Path: Delivered-To: freebsd-questions@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 63D632C6494 for ; Fri, 17 Apr 2020 19:30:02 +0000 (UTC) (envelope-from kh@panix.com) Received: from mailbackend.panix.com (mailbackend.panix.com [166.84.1.89]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 493mQ15H2sz4XF0 for ; Fri, 17 Apr 2020 19:30:01 +0000 (UTC) (envelope-from kh@panix.com) Received: from rain.home (pool-173-48-64-3.bstnma.fios.verizon.net [173.48.64.3]) by mailbackend.panix.com (Postfix) with ESMTPSA id 493mQ05RBSzqMp for ; Fri, 17 Apr 2020 15:30:00 -0400 (EDT) Subject: Re: freebsd should be rewritten based on microkernel architecture To: freebsd-questions@freebsd.org References: <3f1496d1f598c84b3871b630f161256e152aca75.camel@tom.com> <20200417171839.4538036d626667f168936c7f@sohara.org> <423845A3-98EA-4F84-92F4-DD1DD26A8DFB@glasgow.ac.uk> <20200417195133.6b141c4aa8c0b402a8fdb72f@sohara.org> From: Kurt Hackenberg Message-ID: Date: Fri, 17 Apr 2020 15:29:58 -0400 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:68.0) Gecko/20100101 Thunderbird/68.5.0 MIME-Version: 1.0 In-Reply-To: <20200417195133.6b141c4aa8c0b402a8fdb72f@sohara.org> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 7bit X-Rspamd-Queue-Id: 493mQ15H2sz4XF0 X-Spamd-Bar: ----- Authentication-Results: mx1.freebsd.org; dkim=none; dmarc=none; spf=pass (mx1.freebsd.org: domain of kh@panix.com designates 166.84.1.89 as permitted sender) smtp.mailfrom=kh@panix.com X-Spamd-Result: default: False [-5.90 / 15.00]; ARC_NA(0.00)[]; RCVD_VIA_SMTP_AUTH(0.00)[]; NEURAL_HAM_MEDIUM(-1.00)[-1.000,0]; FROM_HAS_DN(0.00)[]; RWL_MAILSPIKE_GOOD(0.00)[89.1.84.166.rep.mailspike.net : 127.0.0.18]; R_SPF_ALLOW(-0.20)[+ip4:166.84.0.0/16]; TO_MATCH_ENVRCPT_ALL(0.00)[]; MIME_GOOD(-0.10)[text/plain]; PREVIOUSLY_DELIVERED(0.00)[freebsd-questions@freebsd.org]; TO_DN_NONE(0.00)[]; RCPT_COUNT_ONE(0.00)[1]; NEURAL_HAM_LONG(-1.00)[-1.000,0]; DMARC_NA(0.00)[panix.com]; RCVD_IN_DNSWL_MED(-0.20)[89.1.84.166.list.dnswl.org : 127.0.5.2]; IP_SCORE(-3.40)[ip: (-9.53), ipnet: 166.84.0.0/16(-4.11), asn: 2033(-3.29), country: US(-0.05)]; FROM_EQ_ENVFROM(0.00)[]; R_DKIM_NA(0.00)[]; MIME_TRACE(0.00)[0:+]; ASN(0.00)[asn:2033, ipnet:166.84.0.0/16, country:US]; MID_RHS_MATCH_FROM(0.00)[]; RCVD_TLS_ALL(0.00)[]; RCVD_COUNT_TWO(0.00)[2] X-BeenThere: freebsd-questions@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: User questions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 17 Apr 2020 19:30:02 -0000 On 2020-04-17 14:51, Steve O'Hara-Smith wrote: >>> If the OP wants FreeBSD running on a microkernel then surely >>> Darwin is where they should start looking - mostly FreeBSD running on >>> Mach which >>> is a bona-fide message passing microkernel. >> >> It's a tangent to this thread, but: can you point to anything which >> discusses this in more detail? > > The horses mouth: > > Also: From that last one: "XNU is a hybrid kernel, containing features of both monolithic kernels and microkernels, attempting to make the best use of both technologies, such as the message passing ability of microkernels enabling greater modularity and larger portions of the OS to benefit from memory protection, and retaining the speed of monolithic kernels for some critical tasks."