From owner-freebsd-questions@freebsd.org Fri Apr 17 20:09:01 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 34A042C76C9 for ; Fri, 17 Apr 2020 20:09:01 +0000 (UTC) (envelope-from tomek@cedro.info) Received: from mail-ot1-x342.google.com (mail-ot1-x342.google.com [IPv6:2607:f8b0:4864:20::342]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) server-signature RSA-PSS (4096 bits) client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "smtp.gmail.com", Issuer "GTS CA 1O1" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 493nH01k8Hz4bYw for ; Fri, 17 Apr 2020 20:08:59 +0000 (UTC) (envelope-from tomek@cedro.info) Received: by mail-ot1-x342.google.com with SMTP id k21so2486642otl.5 for ; Fri, 17 Apr 2020 13:08:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cedro.info; s=google; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=YEITAP+UOoaDH/yuWiLIq4V7pGJ10BJPiO5WD0ZXWI4=; b=NAb561IFeTzr63emkPedWT4Q9ioNL0k2FoZMsIgJWRQuX/i3JSkyciFhe3gxIj44aj ERZ9CK3KAWag3T/FF1J6IcPBBEbU532lFZuKPse7KZpEMLo/PKd8jtQsWat8/g+Gs3pi QuAxjMDWSwv8Rb0fJ/Pr1LOpwby71cOBFsRd339EniRxLO3e2Tj96HUTTPgiVGvm8gRE dplniwUVCajpq7UA32gabGUzgIxx6msQAfoLCMjafXtfHGMwk3w3FQJEDT7m+4BI1lcX cRznh00RxeFuNlc/fG6jj3jfpIb/YiM/uILAMLJDd1Gbb3bv0NE9IZ4z1qxnI1UUuHpr Hv3w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=YEITAP+UOoaDH/yuWiLIq4V7pGJ10BJPiO5WD0ZXWI4=; b=HSmXhlE412guGrmcHTIzVEHFsV40FvBvn4OkGhJGftVGt2vz1Cb7/1QVntvx1DhDay DRvfaA6lRqMACnh7UXxFOiuObb7r/9qltNldmV1wJnxQ8SNiGk+RwtFaHpsMJW5a+rzZ RPgof6SnKjat8P/402A+8pLkxhYX1DOvOv5V4RsaPtIvYY/sYMXeZbQOeLWPW60Nyc3C Ka8HmB6/fH9QXMv28DkcjAvgyJheF6QKHBobSjcjh9h0tuQAkS066piU6heDlRf0bWnV 4azatEv8IkbjJZYj2LekvKzVGDovLJv9SdYPPtfNhx99QIfHKx/HXOv7DPLB+6uJJwcb 6X/Q== X-Gm-Message-State: AGi0PuYJOkAsIXbv70VZw7do3mPJPQFGTdFiG+dRV6whpEcICqk7ZeIw vMt55IxUST8+7ztJvB1hzW+RXQ4bCB8= X-Google-Smtp-Source: APiQypIguU00oCOP7oUI6jleHP+hNHmNWbUvhOxpvHfUF3wavgv0nCYPeYB1MuSd+76TGaqH9kgIqw== X-Received: by 2002:a9d:3b7:: with SMTP id f52mr519277otf.4.1587154138630; Fri, 17 Apr 2020 13:08:58 -0700 (PDT) Received: from mail-ot1-f46.google.com (mail-ot1-f46.google.com. [209.85.210.46]) by smtp.gmail.com with ESMTPSA id p5sm1996975oib.25.2020.04.17.13.08.57 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 17 Apr 2020 13:08:57 -0700 (PDT) Received: by mail-ot1-f46.google.com with SMTP id j26so2504600ots.0 for ; Fri, 17 Apr 2020 13:08:57 -0700 (PDT) X-Received: by 2002:a9d:7ca:: with SMTP id 68mr452096oto.267.1587154136560; Fri, 17 Apr 2020 13:08:56 -0700 (PDT) MIME-Version: 1.0 References: <3f1496d1f598c84b3871b630f161256e152aca75.camel@tom.com> <20200417171839.4538036d626667f168936c7f@sohara.org> <423845A3-98EA-4F84-92F4-DD1DD26A8DFB@glasgow.ac.uk> <20200417195133.6b141c4aa8c0b402a8fdb72f@sohara.org> In-Reply-To: From: Tomasz CEDRO Date: Fri, 17 Apr 2020 22:08:28 +0200 X-Gmail-Original-Message-ID: Message-ID: Subject: Re: freebsd should be rewritten based on microkernel architecture To: Kurt Hackenberg Cc: FreeBSD Questions Mailing List , "Steve O'Hara-Smith" , Norman Gray Content-Type: text/plain; charset="UTF-8" X-Rspamd-Queue-Id: 493nH01k8Hz4bYw X-Spamd-Bar: -- Authentication-Results: mx1.freebsd.org; dkim=pass header.d=cedro.info header.s=google header.b=NAb561IF; dmarc=none; spf=none (mx1.freebsd.org: domain of tomek@cedro.info has no SPF policy when checking 2607:f8b0:4864:20::342) smtp.mailfrom=tomek@cedro.info X-Spamd-Result: default: False [-2.38 / 15.00]; ARC_NA(0.00)[]; RCVD_VIA_SMTP_AUTH(0.00)[]; R_DKIM_ALLOW(-0.20)[cedro.info:s=google]; NEURAL_HAM_MEDIUM(-1.00)[-1.000,0]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[4]; NEURAL_HAM_LONG(-1.00)[-1.000,0]; MIME_GOOD(-0.10)[text/plain]; PREVIOUSLY_DELIVERED(0.00)[freebsd-questions@freebsd.org]; DMARC_NA(0.00)[cedro.info]; RCVD_COUNT_THREE(0.00)[4]; TO_MATCH_ENVRCPT_SOME(0.00)[]; TO_DN_ALL(0.00)[]; DKIM_TRACE(0.00)[cedro.info:+]; RCVD_IN_DNSWL_NONE(0.00)[2.4.3.0.0.0.0.0.0.0.0.0.0.0.0.0.0.2.0.0.4.6.8.4.0.b.8.f.7.0.6.2.list.dnswl.org : 127.0.5.0]; R_SPF_NA(0.00)[]; FROM_EQ_ENVFROM(0.00)[]; MIME_TRACE(0.00)[0:+]; IP_SCORE(-0.08)[ip: (0.42), ipnet: 2607:f8b0::/32(-0.33), asn: 15169(-0.43), country: US(-0.05)]; ASN(0.00)[asn:15169, ipnet:2607:f8b0::/32, country:US]; RCVD_TLS_ALL(0.00)[] 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 20:09:01 -0000 On Fri, Apr 17, 2020 at 9:30 PM Kurt Hackenberg wrote: > 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." Whoah, I was kidding - how anyone can create their own dream OS in three simple steps during a weekend time - but it looks like I have re-invented XNU by accident :-P :-) :-) :-) Very nice references / reads thank you! :-) -- CeDeROM, SQ7MHZ, http://www.tomek.cedro.info