From patchwork Wed Nov 1 15:35:49 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: =?utf-8?b?SsO8cmdlbiBHcm/Dnw==?= X-Patchwork-Id: 13442895 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.lore.kernel.org (Postfix) with ESMTPS id 4D14CC4167B for ; Wed, 1 Nov 2023 15:36:33 +0000 (UTC) Received: from list by lists.xenproject.org with outflank-mailman.626506.976780 (Exim 4.92) (envelope-from ) id 1qyDGC-0007PZ-Gp; Wed, 01 Nov 2023 15:36:00 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 626506.976780; Wed, 01 Nov 2023 15:36:00 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1qyDGC-0007PS-E1; Wed, 01 Nov 2023 15:36:00 +0000 Received: by outflank-mailman (input) for mailman id 626506; Wed, 01 Nov 2023 15:35:58 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1qyDGA-0007ME-OV for xen-devel@lists.xenproject.org; Wed, 01 Nov 2023 15:35:58 +0000 Received: from smtp-out1.suse.de (smtp-out1.suse.de [195.135.220.28]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 582483fc-78cc-11ee-9b0e-b553b5be7939; Wed, 01 Nov 2023 16:35:54 +0100 (CET) Received: from imap2.suse-dmz.suse.de (imap2.suse-dmz.suse.de [192.168.254.74]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (P-521) server-digest SHA512) (No client certificate requested) by smtp-out1.suse.de (Postfix) with ESMTPS id D35BC21A43; Wed, 1 Nov 2023 15:35:53 +0000 (UTC) Received: from imap2.suse-dmz.suse.de (imap2.suse-dmz.suse.de [192.168.254.74]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (P-521) server-digest SHA512) (No client certificate requested) by imap2.suse-dmz.suse.de (Postfix) with ESMTPS id 913451348D; Wed, 1 Nov 2023 15:35:53 +0000 (UTC) Received: from dovecot-director2.suse.de ([192.168.254.65]) by imap2.suse-dmz.suse.de with ESMTPSA id d25aIVlwQmVyKgAAMHmgww (envelope-from ); Wed, 01 Nov 2023 15:35:53 +0000 X-BeenThere: xen-devel@lists.xenproject.org List-Id: Xen developer discussion List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xenproject.org Precedence: list Sender: "Xen-devel" X-Inumbo-ID: 582483fc-78cc-11ee-9b0e-b553b5be7939 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=suse.com; s=susede1; t=1698852953; h=from:from:reply-to:date:date:message-id:message-id:to:to:cc:cc: mime-version:mime-version: content-transfer-encoding:content-transfer-encoding; bh=Y3nMQB/2EuWKzt9fVn+90T3VAa1xYa9oEmc2anTsj2w=; b=Na47X+iCoWLZSIOMRvXuLjEDHJlVtpzoGBcl/2b8YOSHI5oLOndHoNrQTKsQhfFs7cLUxS baeAVTjk9YX2yrgTsY1+uxnulfV0jnS5IIbZH0TeLYR6UKbio4AvZIXZF7CFzGSxCQoVS7 X8saiIiUed1Hw7ITZvkoUnXUpdK35cM= From: Juergen Gross To: minios-devel@lists.xenproject.org, xen-devel@lists.xenproject.org Cc: samuel.thibault@ens-lyon.org, wl@xen.org, Juergen Gross Subject: [PATCH 0/2] Mini-OS: hide mini-os internal symbols Date: Wed, 1 Nov 2023 16:35:49 +0100 Message-Id: <20231101153551.11733-1-jgross@suse.com> X-Mailer: git-send-email 2.35.3 MIME-Version: 1.0 In order to avoid conflicts due to symbols with the same name when linking Mini-OS with an application, hide all Mini9-OS internal symbols from the application by linking the Mini-OS kernel individually and then removing all symbols which should be used internally only. Juergen Gross (2): Mini-OS: link kernel separately Mini-OS: keep a positive list of externally visible symbols Makefile | 8 ++- mini-os.map | 187 ++++++++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 193 insertions(+), 2 deletions(-) create mode 100644 mini-os.map