Merge pull request 'Switch to EFI version' (#1) from dev-efi-port into main

Reviewed-on: http://git.martinpetr.dev/marti/Lints/pulls/1

.gitignore

@@ -2,5 +2,4 @@ old/
 out/
 node_modules/
 *.iso
-*.img
-.clangd
+*.img

README.md

@@ -36,12 +36,6 @@ st run build
 
 The built ISO can be found in `out/` directory.
 
-## How to setup development environment?
-
-```bash
-./src/scripts/setup_dev.sh
-```
-
 ## If you are an employer looking at this...
 
 I would appreciate if you messaged me and gave me some well-paid job. Also...

src/scripts/dev-setup/default.clangd

@@ -1,6 +0,0 @@
-CompileFlags:
-  CompilationDatabase: .
-  Add:
-    - "-I%%workspaceFolder%%/src/core/compat"
-    - "-I%%workspaceFolder%%/src/lib/quickjs"
-    - "-I%%workspaceFolder%%/out/system"

src/scripts/setup_dev.sh

@@ -1 +0,0 @@
-cp ./src/scripts/dev-setup/default.clangd .clangd && sed -i.bak "s|%%workspaceFolder%%|$(pwd)|g" .clangd && rm .clangd.bak