Martin Petr 18092face9 Add interrupts and keyboard driver

2025-11-20 21:13:50 +01:00

..

build_js.js

Add PCI driver

2025-11-20 17:39:19 +01:00

build-kernel.sh

Add interrupts and keyboard driver

2025-11-20 21:13:50 +01:00

build-picolibc.sh

Add docker build system

2025-11-19 16:44:19 +01:00

build.sh

Add docker build system

2025-11-19 16:44:19 +01:00

embed_js.py

No way it works...

2025-11-18 22:27:45 +01:00

get_duktape.sh

Make duktape fetch on build

2025-11-19 20:49:58 +01:00

run-kernel.sh

Add serial driver

2025-11-20 16:26:59 +01:00