Pokud si dobře vzpomínám, tak Armady neměly setup BIOSu tak, jak je zvykem (a co většina ztotožňuje s BIOSem samotným), ale používaly se na to dvě bootovací diskety. Pomocí těchto disket se dal na HDD udělat speciální oddíl, z kterého se dalo nabootovat do setupu (stejně jako z disket, ale rychleji). Toto bootvání se vyvolalo stisknutím F10 při startu počítače, v době, kdy na jinak černé obrazovce blikal v rohu kurzor. Ovšem - kde teď sehnat tyto diskety, těžko říct. Bývalo to na stránkách Compaqu (nyní je to HP). Pokud máš původní disk, tak tam ten oddíl může být a pomocí něho se zase naopak ty diskety dají vyrobit (pro zálohu, či výměnu HDD).