Commit 43b261bd authored by Christian Dietrich's avatar Christian Dietrich

osek-v/non-wired: generate dummy rocket config

Change-Id: I6e6703f873f3535d41e84a7c00fbec89010ab839
parent 645f0744
......@@ -31,6 +31,18 @@ class OSEKVArch(GenericArch):
self.generate_rocket_config()
else:
self.generate_dataobjects_tcbs()
# Generate dummy rocket config
with self.generator.open_file("rocket.config") as fd:
config = {
"coreHartCount": 1,
"coreOSEKSyscallWidth": 1,
"coreOSEKStateWidth": 1,
"coreOSEKInitialState": 0,
"coreHartCombinatorics": None,
"alarms": {},
}
fd.write(json.dumps(config,indent=2, sort_keys=True))
self.generator.source_file.include("dispatch.h")
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment