OSDev.org

The Place to Start for Operating System Developers
It is currently Mon Oct 22, 2018 7:54 am

All times are UTC - 6 hours




Post new topic Reply to topic  [ 2 posts ] 
Author Message
 Post subject: ARM boards testbed
PostPosted: Mon Jul 30, 2018 1:45 pm 
Offline

Joined: Sat Jul 21, 2018 3:08 am
Posts: 6
Hello all,

I've wondering if there is a standard way to test an OS on some ARM boards like the raspberry, orange pi, beagle black, pine64, etc. I guess the requirements (that at least I was looking for) would be to be able to:
- load the image through the SD card (or the eMMC flash)
- be able to connect some output through an UART (guess this is the easiest part)
- debug though a JTAG or any other mechanism (like the TI debug probes) and support a gdb server

Does anyone have a way to do this that could these things in a semi-standard way?

How do the guys at Linux and etc test their OS? Do they have a special hw? I imagine that running 100s or 1000s of tests by manually programming the sd card and testing it is completely out of the question.

Thanks,
Pedro


Top
 Profile  
 
 Post subject: Re: ARM boards testbed
PostPosted: Mon Jul 30, 2018 5:37 pm 
Offline
Member
Member

Joined: Mon Jul 05, 2010 4:15 pm
Posts: 531
If you have a JTAG, then you don't need write to the SD card, then put into the dev board everytime. In general JTAG can write directly to RAM and sometimes even flash if you have a script for it and then you can just load it directly. Fiddling with SD cards will slow you down a lot.

JTAG + debugger is in general superior for OS development but something you have buy.


Top
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 2 posts ] 

All times are UTC - 6 hours


Who is online

Users browsing this forum: No registered users and 1 guest


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to:  
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group