///////////////////////////////////////////////////////////////////////////////
// File   :  idbg.c
// Date   :  May 2018
// Author :  Alain Greiner <alain.greiner@lip6.fr>
///////////////////////////////////////////////////////////////////////////////
// This single thread interactive debuger can be used to access and display
// various kernel structures 
///////////////////////////////////////////////////////////////////////////////

#include <stdlib.h>
#include <stdio.h>
#include <almosmkh.h>

///////////
void main( void )
{
    unsigned long long  cycle;

    get_cycle( &cycle );

    printf( "\n[IDBG] starts at cycle %d\n", (unsigned int)cycle ); 

    idbg();

} // end main()