Martin Petr 1347df1f9f Add PCI driver

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

..

build_js.js

Add PCI driver

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

build-kernel.sh

Add basic vga kernel module

2025-11-19 21:23:25 +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