Re: [PATCH 2/2] Mini-OS: keep a positive list of externally visible symbols

[Juergen Gross]

On 03.11.23 03:09, Samuel Thibault wrote:

Hello,

Juergen Gross, le mer. 01 nov. 2023 16:35:51 +0100, a ecrit:

The symbols in mini-os.map have been obtained via building all defined
and not failing stubdoms (caml-stubdom doesn't build).

+++ b/mini-os.map
@@ -0,0 +1,187 @@
+# Mini-OS symbols being externally visible
+# entry point
+_start
+# Mini-OS service functions
+alloc_fd
+alloc_file_type
+alloc_pages
+bind_virq

I believe we also want bind_pirq

In general: yes to all of your remarks (thanks for looking up the missing
symbols).

This was a first round to see whether the approach is fine. Your answer seems
to indicate that this is the case.

I'll expand the list as you requested in the next version.


Juergen

OpenPGP_0xB0DE9DD628BF132F.asc
Description: OpenPGP public key

OpenPGP_signature.asc
Description: OpenPGP digital signature