Have you looked at these? I warn you, they are expensive.
http://www-03.ibm.com/security/cryptocards/pcicc/overview.sh... http://iss.thalesgroup.com/en/Products/Hardware%20Security%2... http://www.cputech.com/acalis/
http://www-03.ibm.com/security/cryptocards/pcicc/overview.sh... http://iss.thalesgroup.com/en/Products/Hardware%20Security%2... http://www.cputech.com/acalis/
Your intuition was right, they are too expensive for me. So, I should clarify: I am happy with using current-generation smart-card chips, but I would like to use them directly. The folks who wrote the JavaCard VM must have used some SDK... I want that SDK, so I can write my own OS.
Thanks!