Hi,
I am working with Peng Xie to run the vm for tk1 code that Adrian gave out a couple of
days ago, located at
https://github.com/seL4proj/camkes-arm-vm-manifest. We have
successfully been able to build and run on our tk1 board, but are met with a buildroot
login prompt. What is the username and password, we should be using? Also, is this a
para-virtualized or fully-virtualized environment?
Thanks,
Josh Tuttle
Research Engineer
Intelligent Automation, Inc.
15400 Calhoun Dr., Suite 109
Rockville, MD 20855
Ph: (301) 795-2706
jtuttle@i-a-i.com<mailto:jtuttle@i-a-i.com>
________________________________
This message and all attachments are PRIVATE, and contain information that is PROPRIETARY
to Intelligent Automation, Inc. You are not authorized to transmit or otherwise disclose
this message or any attachments to any third party whatsoever without the express written
consent of Intelligent Automation, Inc. If you received this message in error or you are
not willing to view this message or any attachments on a confidential basis, please
immediately delete this email and any attachments and notify Intelligent Automation, Inc.