ports: Make new ports/ sub-directory and move all ports there.

This is to keep the top-level directory clean, to make it clear what is
core and what is a port, and to allow the repository to grow with new ports
in a sustainable way.
This commit is contained in:
Damien George
2017-09-06 13:40:51 +10:00
parent a9862b3006
commit 01dd7804b8
766 changed files with 0 additions and 0 deletions

View File

@@ -0,0 +1,13 @@
import gc
gc.threshold((gc.mem_free() + gc.mem_alloc()) // 4)
import uos
from flashbdev import bdev
try:
if bdev:
uos.mount(bdev, '/')
except OSError:
import inisetup
inisetup.setup()
gc.collect()