The keyboard was working, but now seems to no longer be working. Luckily the ports still work, so an external keyboard and mouse appear to be working fine.