From owner-freebsd-questions@freebsd.org Fri Apr 17 16:18:50 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 DC1582BF9ED for ; Fri, 17 Apr 2020 16:18:50 +0000 (UTC) (envelope-from 4250.82.1d4c10002dd4e01.1e4f5515aa87f72d38b81a7cc7bebff5@email-od.com) Received: from s1-b0c6.socketlabs.email-od.com (s1-b0c6.socketlabs.email-od.com [142.0.176.198]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 493h9P5k6Nz4CG9 for ; Fri, 17 Apr 2020 16:18:49 +0000 (UTC) (envelope-from 4250.82.1d4c10002dd4e01.1e4f5515aa87f72d38b81a7cc7bebff5@email-od.com) DKIM-Signature: v=1; a=rsa-sha256; d=email-od.com;i=@email-od.com;s=dkim; c=relaxed/relaxed; q=dns/txt; t=1587140330; x=1589732330; h=content-transfer-encoding:content-type:mime-version:references:in-reply-to:message-id:subject:cc:to:from:date:x-thread-info; bh=oiRuks6/PMBp94UhkSukRZucHf7jPX74bd+31XnaAv0=; b=SfuWM3slCxAH/VI1xhplcF68zRy+v9qAYOtgHLfS9CE9+6vFyNRyyLTI+8gWpixhkqS535I8l4Ym6UQ1DsILQNMnf7AiF83lyIIEXjntsMLy3aUNbI4nO6F0ungQoa2PG4HT5qqybqRs0K8XUkcyCqEbvsZBlRdDeHIXrSdVl4E= X-Thread-Info: NDI1MC45Mi4xZDRjMTAwMDJkZDRlMDEuZnJlZWJzZC1xdWVzdGlvbnM9ZnJlZWJzZC5vcmc= Received: from r3.h.in.socketlabs.com (r3.h.in.socketlabs.com [142.0.180.13]) by mxsg2.email-od.com with ESMTP(version=Tls12 cipher=Aes256 bits=256); Fri, 17 Apr 2020 12:18:43 -0400 Received: from smtp.lan.sohara.org (EMTPY [185.202.17.215]) by r3.h.in.socketlabs.com with ESMTP(version=Tls12 cipher=Aes256 bits=256); Fri, 17 Apr 2020 12:18:42 -0400 Received: from [192.168.63.1] (helo=steve.lan.sohara.org) by smtp.lan.sohara.org with smtp (Exim 4.92.3 (FreeBSD)) (envelope-from ) id 1jPThQ-000HNB-0G; Fri, 17 Apr 2020 17:18:40 +0100 Date: Fri, 17 Apr 2020 17:18:39 +0100 From: Steve O'Hara-Smith To: Tomasz CEDRO Cc: malaizhichun@tom.com, FreeBSD Questions Mailing List Subject: Re: freebsd should be rewritten based on microkernel architecture Message-Id: <20200417171839.4538036d626667f168936c7f@sohara.org> In-Reply-To: References: <3f1496d1f598c84b3871b630f161256e152aca75.camel@tom.com> X-Mailer: Sylpheed 3.7.0 (GTK+ 2.24.32; amd64-portbld-freebsd12.0) X-Clacks-Overhead: "GNU Terry Pratchett" Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Rspamd-Queue-Id: 493h9P5k6Nz4CG9 X-Spamd-Bar: - Authentication-Results: mx1.freebsd.org; dkim=pass header.d=email-od.com header.s=dkim header.b=SfuWM3sl; dmarc=none; spf=pass (mx1.freebsd.org: domain of 4250.82.1d4c10002dd4e01.1e4f5515aa87f72d38b81a7cc7bebff5@email-od.com designates 142.0.176.198 as permitted sender) smtp.mailfrom=4250.82.1d4c10002dd4e01.1e4f5515aa87f72d38b81a7cc7bebff5@email-od.com X-Spamd-Result: default: False [-1.65 / 15.00]; ARC_NA(0.00)[]; NEURAL_HAM_MEDIUM(-0.99)[-0.985,0]; R_DKIM_ALLOW(-0.20)[email-od.com:s=dkim]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[3]; R_SPF_ALLOW(-0.20)[+ip4:142.0.176.0/20]; MV_CASE(0.50)[]; MIME_GOOD(-0.10)[text/plain]; DMARC_NA(0.00)[sohara.org]; NEURAL_HAM_LONG(-1.00)[-0.998,0]; TO_DN_SOME(0.00)[]; RCVD_COUNT_THREE(0.00)[4]; TO_MATCH_ENVRCPT_SOME(0.00)[]; DKIM_TRACE(0.00)[email-od.com:+]; RCVD_IN_DNSWL_NONE(0.00)[198.176.0.142.list.dnswl.org : 127.0.15.0]; IP_SCORE(0.03)[ip: (-0.24), ipnet: 142.0.176.0/22(0.33), asn: 7381(0.12), country: US(-0.05)]; FORGED_SENDER(0.30)[steve@sohara.org,4250.82.1d4c10002dd4e01.1e4f5515aa87f72d38b81a7cc7bebff5@email-od.com]; MIME_TRACE(0.00)[0:+]; RCVD_TLS_LAST(0.00)[]; ASN(0.00)[asn:7381, ipnet:142.0.176.0/22, country:US]; FROM_NEQ_ENVFROM(0.00)[steve@sohara.org,4250.82.1d4c10002dd4e01.1e4f5515aa87f72d38b81a7cc7bebff5@email-od.com]; MID_RHS_MATCH_FROM(0.00)[]; FREEMAIL_CC(0.00)[tom.com] 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 16:18:50 -0000 On Fri, 17 Apr 2020 12:46:35 +0200 Tomasz CEDRO wrote: > 1. Turn FreeBSD kernel into microkernel. 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. -- Steve O'Hara-Smith