bootloader.scm 1.3 KB

1234567891011121314151617181920212223242526272829303132333435363738
  1. ;;; GNU Guix --- Functional package management for GNU
  2. ;;; Copyright © 2017 Mathieu Othacehe <m.othacehe@gmail.com>
  3. ;;;
  4. ;;; This file is part of GNU Guix.
  5. ;;;
  6. ;;; GNU Guix is free software; you can redistribute it and/or modify it
  7. ;;; under the terms of the GNU General Public License as published by
  8. ;;; the Free Software Foundation; either version 3 of the License, or (at
  9. ;;; your option) any later version.
  10. ;;;
  11. ;;; GNU Guix is distributed in the hope that it will be useful, but
  12. ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
  13. ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  14. ;;; GNU General Public License for more details.
  15. ;;;
  16. ;;; You should have received a copy of the GNU General Public License
  17. ;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
  18. (define-module (gnu build bootloader)
  19. #:use-module (ice-9 binary-ports)
  20. #:export (write-file-on-device))
  21. ;;;
  22. ;;; Writing utils.
  23. ;;;
  24. (define (write-file-on-device file size device offset)
  25. "Write SIZE bytes from FILE to DEVICE starting at OFFSET."
  26. (call-with-input-file file
  27. (lambda (input)
  28. (let ((bv (get-bytevector-n input size)))
  29. (call-with-output-file device
  30. (lambda (output)
  31. (seek output offset SEEK_SET)
  32. (put-bytevector output bv))
  33. #:binary #t)))))