//---
// fxos.os: Operating system models and primitives
//---

#ifndef LIBFXOS_OS_H
#define LIBFXOS_OS_H

#include <fxos/target.h>
#include <fxos/util.h>

#include <vector>
#include <map>

namespace FxOS {

class OS
{
public:
	/* Load an OS from a buffer. */
	OS(Buffer &buffer);
	/* This target contains just the OS in ROM and ROM_P2. It can be used
	   freely to extract data which is not already available here. */
	Target target;

	/* Bootcode timestamp and checksum */
	Addressable<std::string> bootcode_timestamp;
	Addressable<uint32_t> bootcode_checksum;

	/* OS version, serial number, timestamp and checksum */
	Addressable<std::string> version;
	Addressable<std::string> serial_number;
	Addressable<std::string> timestamp;
	Addressable<uint32_t> checksum;

	/* Get number of syscalls */
	int syscall_count() const noexcept;
	/* Get a syscall entry */
	uint32_t syscall(int id) const;
	/* Find a syscall entry. Returns -1 if syscall is not found */
	int find_syscall(uint32_t entry) const noexcept;

	/* Footer address, or -1 if not found */
	uint32_t footer;
	/* Number of langdata entries */
	int langdata;

private:
	/* Parse the OS header. This should be the first analysis function to
	   be called, because it determines the type of model (ie. fx9860g vs
	   fxcg50) thus the location of the syscall table and many more
	   important parameters. */
	void parse_header();

	/* Locate and parse the syscall table. */
	void parse_syscall_table();

	/* Locate and parse the footer. */
	void parse_footer();

	//---
	//  OS information
	//---

	/* Syscall table, in order of syscall IDs */
	std::vector<uint32_t> m_syscall_table;
	/* Bimap converse, syscalls sorted by address */
	std::map<uint32_t,int> m_syscall_addresses;
};

} /* namespace FxOS */

#endif /* LIBFXOS_OS_H */