Package: brickos

"brickos" package binaries on Debian:

/usr/bin/dll /usr/bin/firmdl3

You may install this package on Debian with apt-get install brickos