I have been wondering about this too.
I definitely know it's not a coreI-7, 256+solid state drive, 1080p HD, apple or Hp. It could be Acer, Lenovo, or Dell, with AMD, HDD, 7020p, one terabyte. The military uses dell a lot.
I mean they will be used solely for academic purposes not gaming or...