The two places I would look are:

1. Oberon. It certainly qualifies as a modern language, it was designed for doing systems work, there is an MS-DOS compiler from ETHZ, and the language is single pass and designed by one of the masters to be easily and quickly compiled.

2. Forth. Something like Pygmy Forth can be a great development environment for constrained systems.