I think a DSL is a more often a type of “user interface” for a large and powerful underlying software system, than a way of writing native code for particular s

I think a DSL is a more often a type of “user interface” for a large and powerful underlying software system, than a way of writing native code for particular specializations. Operating systems offer many DSLs as a way for programmers to interact with them: Linux has bash and eBPF, Windows has VBScript and Powershell, etc. If something were to offer a DSL for writing operating systems with, I think it would be either an embedded platform or a hypervisor.