On 23/11/2023 11:45 am, Juergen Gross wrote: > diff --git a/mini-os.map b/mini-os.map > new file mode 100644 > index 00000000..58a3a0ee > --- /dev/null > +++ b/mini-os.map > @@ -0,0 +1,295 @@ > +# Mini-OS symbols being externally visible
\n > +# entry point > +_start \n etc. A few blank lines go a long way in terms of clarity. ~Andrew
