[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Xen-devel] Basic bare metal ARM domain interface


  • To: "xen-devel@xxxxxxxxxxxxxxxxxxxx" <xen-devel@xxxxxxxxxxxxxxxxxxxx>
  • From: Ivan Pavić2 <Ivan.Pavic2@xxxxxx>
  • Date: Wed, 25 May 2016 19:42:20 +0000
  • Accept-language: hr-HR, en-US
  • Delivery-date: Wed, 25 May 2016 19:42:40 +0000
  • List-id: Xen developer discussion <xen-devel.lists.xen.org>
  • Thread-index: AdG2tNvYAE50jME5SBSLsBeZH5rJ8g==
  • Thread-topic: [Xen-devel] Basic bare metal ARM domain interface

Hello,

I'm working on bare metal application for ARM Cortex A7/15 on Odroid XU3 
platform. I'm using Xen 4.6.

After successfully creating bare metal example(by successful I mean I've stuck 
processor in while loop in main function), I probably should initialize memory
management unit and similiar. I've found FreeRTOS project on Github where 
similiar stuff was done for ARM Cortex A15. Project is done for Xen 4.4. 
Xen FreeRTOS project: https://github.com/GaloisInc/FreeRTOS-Xen/ .

1) I'm using 4.6. so I don't know if code from  is fully compatible? (I had to 
comment out lot of things because they block program, printing for example) 

2) Additionally , I would like to implement basic serial output to dom0 from my 
bare metal domU. What is the minimum one should do for implementing console 
output?  

3) Furthermore, as this should be bare metal application, I would like at least 
to be able to toggle LED. How can interface hardware from domU? My first guess
would be to directly address Exynos 5422 GPIO registers but I don't know if
that would work beacause application is running on VCPU (probably not??) ??

Any answer, example of implementation, specific documentation or advice would
be very helpful.

Thank you in advance...

Regards,
Ivan Pavić
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.