From owner-freebsd-questions@freebsd.org Fri Apr 17 16:50:59 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 1A7162C0D6B for ; Fri, 17 Apr 2020 16:50:59 +0000 (UTC) (envelope-from Norman.Gray@glasgow.ac.uk) Received: from plockton.cent.gla.ac.uk (plockton.cent.gla.ac.uk [130.209.16.75]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 493htV180Jz4GBJ for ; Fri, 17 Apr 2020 16:50:57 +0000 (UTC) (envelope-from Norman.Gray@glasgow.ac.uk) Received: from cas07.campus.gla.ac.uk ([130.209.14.164]) by plockton.cent.gla.ac.uk with esmtp (Exim 4.72) (envelope-from ) id 1jPUCd-0005Mb-TF; Fri, 17 Apr 2020 17:50:55 +0100 Received: from cas07.campus.gla.ac.uk (130.209.14.164) by cas07.campus.gla.ac.uk (130.209.14.164) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Fri, 17 Apr 2020 17:50:54 +0100 Received: from GBR01-CWL-obe.outbound.protection.outlook.com (104.47.20.51) by cas07.campus.gla.ac.uk (130.209.14.164) with Microsoft SMTP Server (TLS) id 15.0.1497.2 via Frontend Transport; Fri, 17 Apr 2020 17:50:54 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=cdCzZAeAZVpXhRMVc3zvk8vPH6HceuFyzoAvkfUx4T5yYizKdbYBFMd4rtMWRZ7l/Pwilof3YPEjvu5M+SaP1YEOThVeUuZWpQN2+iIWSYmX4bX7M68ud/b61OfevKBcdK+I5v1cVFJqiwmxnNPuq3RJOBPdgp2f4Wac+jdkvrTlsn11xsQAUoxmBb/FmkGHzXtZYnIg0Vg2QzChtkTyaW+vz46Dlv+SMxjyAroSbHhfbNhnFCl5H3laJj/A3XPBqbbD3ncBUxZNDTEZJgTO8jXukEWle8EJ64D+ZVtVdGs+xrBAgwGu8Byx8nGVnDyvuq3rcqAYnCs5qxk8MCCYSA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=2Q+z3QtUUghyxw/kdQKoxTsntS7ZfRVXRQBj4HA1GUQ=; b=WzbU8iS5rR1Ldmsuxsy39V16OeFwt2kWFchyI+87d9im8M0yaxJZC2yAwBPiqarnLN1aHghUYh8vJo3MmgS1I1yfwAlfuTfG8RNWxMKi9b0V7fXG0BK5myjyXpJHHdbgunH8v2BsNNB19eBmvyRvFMGDk1rRvSF7AZIlkGjkHtN8Uw07RRtP0aKKlPLtE/KnwHX0DiaMp9t9oweX7fAQITyZb4i+hkU41zZibXHveHrt8HTdXH0vxkVJ1nDV7gTM67k9wij8pjWqqD35T43LDEA/IHhsikvqC428F0oDPqT0lzhQ9xgE7TW5peiv1kwYF3vZsG2q1C2eEBMaKQsQBg== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=glasgow.ac.uk; dmarc=pass action=none header.from=glasgow.ac.uk; dkim=pass header.d=glasgow.ac.uk; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gla.onmicrosoft.com; s=selector2-gla-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=2Q+z3QtUUghyxw/kdQKoxTsntS7ZfRVXRQBj4HA1GUQ=; b=QcYTSyfb0O8VuQ09r1wefecehM655szlAq99XlCbF56gVoIBaskUc759yMkzAetHD3qyB7oz6RhSQUBlLU0MIygkNypKp6JaOllTsRj6C1SvZhsRj5J0hAGL8kkKR8pTya3jI8a+g6kg98Jv+CCekb61jFDxEWuP89P9lmDcAUc= Received: from CWXP265MB0149.GBRP265.PROD.OUTLOOK.COM (10.164.144.19) by CWXP265MB0261.GBRP265.PROD.OUTLOOK.COM (10.164.124.138) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2921.26; Fri, 17 Apr 2020 16:50:53 +0000 Received: from CWXP265MB0149.GBRP265.PROD.OUTLOOK.COM ([fe80::40d7:744b:8734:b8dd]) by CWXP265MB0149.GBRP265.PROD.OUTLOOK.COM ([fe80::40d7:744b:8734:b8dd%6]) with mapi id 15.20.2921.027; Fri, 17 Apr 2020 16:50:53 +0000 From: "Norman Gray" To: Steve O'Hara-Smith CC: FreeBSD Questions Mailing List Subject: Re: freebsd should be rewritten based on microkernel architecture Date: Fri, 17 Apr 2020 17:50:52 +0100 X-Mailer: MailMate (1.13.1r5671) Message-ID: <423845A3-98EA-4F84-92F4-DD1DD26A8DFB@glasgow.ac.uk> In-Reply-To: <20200417171839.4538036d626667f168936c7f@sohara.org> References: <3f1496d1f598c84b3871b630f161256e152aca75.camel@tom.com> <20200417171839.4538036d626667f168936c7f@sohara.org> Content-Type: text/plain; format=flowed X-ClientProxiedBy: LO2P265CA0086.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:8::26) To CWXP265MB0149.GBRP265.PROD.OUTLOOK.COM (2603:10a6:401:8::19) MIME-Version: 1.0 X-MS-Exchange-MessageSentRepresentingType: 1 Received: from [192.168.1.29] (2001:8b0:df5:af53:49eb:74f9:8890:5f79) by LO2P265CA0086.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:8::26) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2921.29 via Frontend Transport; Fri, 17 Apr 2020 16:50:52 +0000 X-Mailer: MailMate (1.13.1r5671) X-Originating-IP: [2001:8b0:df5:af53:49eb:74f9:8890:5f79] X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: 532be6ce-9260-4a66-5ee6-08d7e2ef7d98 X-MS-TrafficTypeDiagnostic: CWXP265MB0261: X-MS-Exchange-Transport-Forked: True X-Microsoft-Antispam-PRVS: X-MS-Oob-TLC-OOBClassifiers: OLM:6108; X-Forefront-PRVS: 0376ECF4DD X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:CWXP265MB0149.GBRP265.PROD.OUTLOOK.COM; PTR:; CAT:NONE; SFTY:; SFS:(10009020)(346002)(366004)(136003)(396003)(39860400002)(376002)(86362001)(2906002)(4744005)(5660300002)(66476007)(6916009)(66946007)(966005)(66556008)(478600001)(186003)(16526019)(6486002)(786003)(8936002)(2616005)(81156014)(8676002)(33656002)(316002)(4326008)(53546011)(52116002)(36756003); DIR:OUT; SFP:1101; Received-SPF: None (protection.outlook.com: glasgow.ac.uk does not designate permitted sender hosts) X-MS-Exchange-SenderADCheck: 1 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: cSPIawwRTVzhE6TMtknwiZNNQlB1dxLnhYP28mojjWGCF8b5U65kd0Z8Ydn9IeCpUhJ6bFIrmYvoSTuvu6G2zrALzkIF0Pzyr2eWQGNo7t/KgmW7fbM8JXynA+75WaieaOSBNUjqMQrvG+yqR5Bwjpcp4e1ccTxb9TiRs90Vpz0ku22Barys7pGzh41GkAylWWBRCMlCINaXhcrPcdTYlfuGuJt1IBI/MDkMW2taF7jBuckWJHL+p6IUOpecM0pPnFlhC3SzK7hNIfhGqTK6CP4XlEiFhw2jcx07pkuVTl1s8nlcxoyNkO8iRjJ2064xhm/5OcOR5z4g/E9IO2+0bVQdjVzdH8lSLoveHzMTUy7vnv7C7Zp8lYdPRgpOasl39H5o32rliu3UddJTT+Lk2NDajzQHB0n3pBp+QHKZKm+vbnVqbterwI0ebZqWZB6JKZs8ti9/Iy2JEchLpf5Xs1etvIXp81V4EjiEkBqtj5U4xCJCkgeh8CNPz9k9SO2iO0UwbHJGetJng4j9WK3DZA== X-MS-Exchange-AntiSpam-MessageData: nxorMSD+eq6oXMlsjjslB8/Vu6ZvgBR+lLw/7OLCwgiF01X2kkXHIWXqCpdrICTNcjOF+zh4IfZbB1AC00i4GWI/3GcXXOuCtxX90K7X7qu/r7nNvEuJbYokbdhkMf104N+hgx24VEzuJ4fMzh5sCWaA9F0Zm6JHitjhFdh2MkmKJOo9jMIGY+6eH3is+7LNEgVB+snGlG8i2c/4XzBWoA== X-MS-Exchange-CrossTenant-Network-Message-Id: 532be6ce-9260-4a66-5ee6-08d7e2ef7d98 X-MS-Exchange-CrossTenant-OriginalArrivalTime: 17 Apr 2020 16:50:53.0971 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 6e725c29-763a-4f50-81f2-2e254f0133c8 X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: HX9Pnpgr0pQvLtn0LDpe+7mrmH7Sk8bJ/IqADbNzOSTDvsCey6dKqLeuJztysYpRNsAkPoiTXYbkSlc9IZTAHpC1fFgNSxgnHc9yD2CTqfo= X-MS-Exchange-Transport-CrossTenantHeadersStamped: CWXP265MB0261 X-OriginatorOrg: glasgow.ac.uk X-Rspamd-Queue-Id: 493htV180Jz4GBJ X-Spamd-Bar: ---- Authentication-Results: mx1.freebsd.org; dkim=pass header.d=gla.onmicrosoft.com header.s=selector2-gla-onmicrosoft-com header.b=QcYTSyfb; dmarc=none; spf=none (mx1.freebsd.org: domain of Norman.Gray@glasgow.ac.uk has no SPF policy when checking 130.209.16.75) smtp.mailfrom=Norman.Gray@glasgow.ac.uk X-Spamd-Result: default: False [-4.98 / 15.00]; RCVD_COUNT_SEVEN(0.00)[7]; NEURAL_HAM_MEDIUM(-1.00)[-1.000,0]; R_DKIM_ALLOW(-0.20)[gla.onmicrosoft.com:s=selector2-gla-onmicrosoft-com]; HAS_XOIP(0.00)[]; FROM_HAS_DN(0.00)[]; RWL_MAILSPIKE_GOOD(0.00)[75.16.209.130.rep.mailspike.net : 127.0.0.18]; IP_SCORE(-0.98)[ipnet: 130.209.0.0/16(-4.47), asn: 786(-0.35), country: GB(-0.07)]; MIME_GOOD(-0.10)[text/plain]; DMARC_NA(0.00)[glasgow.ac.uk]; RCVD_DKIM_ARC_DNSWL_MED(-0.50)[]; NEURAL_HAM_LONG(-1.00)[-1.000,0]; TO_MATCH_ENVRCPT_SOME(0.00)[]; TO_DN_ALL(0.00)[]; RCVD_IN_DNSWL_MED(-0.20)[75.16.209.130.list.dnswl.org : 127.0.11.2]; DKIM_TRACE(0.00)[gla.onmicrosoft.com:+]; RCPT_COUNT_TWO(0.00)[2]; R_SPF_NA(0.00)[]; FROM_EQ_ENVFROM(0.00)[]; MIME_TRACE(0.00)[0:+]; RCVD_TLS_LAST(0.00)[]; ASN(0.00)[asn:786, ipnet:130.209.0.0/16, country:GB]; ARC_ALLOW(-1.00)[i=1]; MID_RHS_MATCH_FROM(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 16:50:59 -0000 Steve, hello. On 17 Apr 2020, at 17:18, 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? I've long known that Darwin is 'mostly FreeBSD running on Mach', or that it has a lot of FreeBSD's userland, or even that Apple have reportedly contracted folk with FreeBSD kernel knowledge to work on bits of Darwin (or have ported bits of FreeBSD into Darwin, or something like that). I'm curious to know more, but details are tantalisingly hard to find. Best wishes, Norman -- Norman Gray : https://nxg.me.uk SUPA School of Physics and Astronomy, University of Glasgow, UK