Try to fix windows card detection issue

This commit is contained in:
Cédric Mesnil 2017-04-20 15:05:43 +02:00
parent fc0e37d5f0
commit c1efa87a7b
3 changed files with 12 additions and 6 deletions

View file

@ -165,6 +165,8 @@ __attribute__((section(".boot"))) int main(void) {
io_seproxyhal_init();
USB_CCID_power(1);
io_usb_ccid_set_card_inserted(1);
//set up
gpg_init();

View file

@ -96,7 +96,8 @@ static unsigned int validate_pin();
/* ------------------------------- Helpers UX ------------------------------- */
void ui_CCID_reset(void) {
//INSERT CODE HERE TO REMOVE/INSERT THE TOKEN
io_usb_ccid_set_card_inserted(0);
io_usb_ccid_set_card_inserted(1);
}
void ui_info(const char* msg1, const char* msg2, const void *menu_display, unsigned int value) {