Hi Josh,

The username and password are both 'root'. This is a fully virtualized 
environment.

Adrian

On Sat 04-Jun-2016 1:30 AM, Joshua Tuttle wrote:
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
<mailto:[email protected]>[email protected]<mailto:[email protected]>





________________________________
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.



_______________________________________________
Devel mailing list
[email protected]<mailto:[email protected]>
https://sel4.systems/lists/listinfo/devel



________________________________

The information in this e-mail may be confidential and subject to legal 
professional privilege and/or copyright. National ICT Australia Limited accepts 
no liability for any damage caused by this email or its attachments.
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to