Correct me if I'm wrong, but IIRC AmigaOS is the whole operating system, while AmigaDOS is the part of that OS that handles disk I/O, plus the CLI, etc. Yeah, a naming mess.
> IMHO exec.library is great, but dos.library was a huge mistake.
I'm interested in your take on this point. I cut my m68k teeth on Amiga demo programming, but never delved into exec (apart from a very small amount of init).
exec.library is the kernel, which used to be called "ROM Kernel".
The ROM portion of the OS is called Kickstart.
The disk portion is called Workbench, but is also used to refer to workbench.library (mostly a file manager) today.
The whole system became AmigaOS at some point, probably around the 2.x release (1991).
IMHO exec.library is great, but dos.library was a huge mistake.
0. https://archive.org/details/amiga-rom-kernel-reference-manua...