Robert Jördens c022b53578 kernel_cpu: enable perf counters		2017-02-18 14:09:12 +01:00
..
__init__.py	gateware: fix import	2017-01-18 16:51:30 -06:00
kernel_cpu.py	kernel_cpu: enable perf counters	2017-02-18 14:09:12 +01:00
mailbox.py	gateware: rewrite mailbox to use bits_for.	2016-11-01 06:28:43 +00:00
soc.py	firmware: migrate last vestiges of the old runtime build system.	2017-02-03 12:59:35 +00:00